diff --git a/doc/configuration.php b/doc/configuration.php
index 318a5e3bb1..4418179b70 100644
--- a/doc/configuration.php
+++ b/doc/configuration.php
@@ -5,7 +5,7 @@
 
 require_once("docutil.php");
 
-echo "<-- \$Id$ -->\n";
+// echo "<-- \$Id$ -->\n";
 
 page_head("The project configuration file");