[pacman-dev] [PATCH] makepkg.conf: correct the documentation on the default options