[pacman-dev] [PATCH] Update doc gitignore