--- PKGBUILD 2014-06-26 20:39:47.465314412 -0500 +++ PKGBUILD.new 2014-06-26 20:35:23.242435999 -0500 @@ -24,6 +24,7 @@ -DCMAKE_INSTALL_PREFIX=/usr \ -DSFML_BUILD_EXAMPLES=1 \ -DSFML_BUILD_DOC=1 \ + -DSFML_INSTALL_PKGCONFIG_FILES=1 \ -DCMAKE_CXX_FLAGS="-DGLXContextID=XID $CXXFLAGS" make make doc