build: fix Makefile

diff --git a/Makefile.frag b/Makefile.frag
index 7df00add0280ba49acdd93135008d391bc1d86ec..b9a6cda99274ee45c6823309d991567263543313 100644 (file)
--- a/Makefile.frag
+++ b/Makefile.frag
@@ -1,4 +1,5 @@
-git# provide headers in builddir, so they do not end up in /usr/include/ext/psi/src
+
+# provide headers in builddir, so they do not end up in /usr/include/ext/psi/src
 
 PHP_PSI_HEADERS := $(addprefix $(PHP_PSI_BUILDDIR)/,$(PHP_PSI_HEADERS))
 PHP_PSI_SOURCES := $(addprefix $(PHP_PSI_SRCDIR)/,$(PHP_PSI_SOURCES))