diff --git a/.gitignore b/.gitignore
index a773f8e3e..b492910cc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,3 +29,5 @@ locale
 sources
 # API documentation
 apidoc
+# Demo server
+revision-info.php