1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index c2fa814d..0e59f3de 100644
--- a/.gitignore
+++ b/.gitignore
@@ -34,3 +34,4 @@ doc/*
 !doc/*.texi
 !doc/*.am
 !doc/*.sh
+!doc/*.php