From 56797a594097834ce48a3e03ddf1025655c561fd Mon Sep 17 00:00:00 2001
From: nlopess <nlopess@localhost>
Date: Tue, 23 Mar 2004 18:21:20 +0000
Subject: [PATCH] missing revision tag

---
 docs/scripts/generate_web.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/scripts/generate_web.php b/docs/scripts/generate_web.php
index 0b501076..fa4ac4d9 100755
--- a/docs/scripts/generate_web.php
+++ b/docs/scripts/generate_web.php
@@ -17,6 +17,8 @@
   +----------------------------------------------------------------------+
   | Small hack to generate the manual for the web                        |
   +----------------------------------------------------------------------+
+
+  $Id$
 */
 
 set_time_limit(0);