From b8e53bc8294c69e88750f426e1b82034dbb93084 Mon Sep 17 00:00:00 2001
From: Bruce Allen <bruce.allen@aei.mpg.de>
Date: Mon, 15 Nov 2004 15:01:38 +0000
Subject: [PATCH] Can someone tell me how to embed the CVS ID tag into the
 'page source'?

svn path=/trunk/boinc/; revision=4564
---
 doc/configuration.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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");