[pacman-dev] [PATCH] Revert disabling of make in doc/ dir by default