Index: include/lib_general.inc.php
===================================================================
RCS file: /repository/docweb/include/lib_general.inc.php,v
retrieving revision 1.51
diff -u -r1.51 lib_general.inc.php
--- include/lib_general.inc.php	3 Oct 2006 23:22:28 -0000	1.51
+++ include/lib_general.inc.php	3 Dec 2006 11:42:51 -0000
@@ -110,12 +110,13 @@
     );
 }
 
-function site_footer()
+function site_footer($cvs_version = NULL)
 {
     $master = get_insite_address(NULL, NULL, '');
     return DocWeb_Template::get(
         'shared/footer.tpl.php',
-        array('master' => $master)
+        array('master'      => $master,
+              'cvs_version' => $cvs_version)
     );
 }
 
Index: templates/all/www/shared/footer.tpl.php
===================================================================
RCS file: /repository/docweb/templates/all/www/shared/footer.tpl.php,v
retrieving revision 1.4
diff -u -r1.4 footer.tpl.php
--- templates/all/www/shared/footer.tpl.php	31 Dec 2005 23:00:59 -0000	1.4
+++ templates/all/www/shared/footer.tpl.php	3 Dec 2006 11:42:51 -0000
@@ -3,7 +3,7 @@
   <p>
    <a href="<?php echo $master; ?>copyright.php">&docweb.common.footer.copyright;</a> 2004-2006 &docweb.common.footer.copyright-text;.
   </p>
-  <p>
+  <?php if(isset($cvs_version)) { echo "<p>\n    $cvs_version\n </p>\n  "; } ?><p>
    <a href="<?php echo $master; ?>credits.php">&docweb.common.footer.credits;</a>
    |
    <a href="<?php echo $master; ?>contact.php">&docweb.common.footer.contact;</a>
Index: www/phpt_generator.php
===================================================================
RCS file: /repository/docweb/www/phpt_generator.php,v
retrieving revision 1.3
diff -u -r1.3 phpt_generator.php
--- www/phpt_generator.php	3 Dec 2006 09:09:45 -0000	1.3
+++ www/phpt_generator.php	3 Dec 2006 11:42:51 -0000
@@ -36,7 +36,7 @@
 if (!$sqlite = phpt_sqlite_open()) {
     echo site_header('docweb.common.header.phptgen'); 
     echo '<p>Unable to open examples database</p>';
-    echo site_footer();
+    echo site_footer('$Id$');
     exit();
 }
 
@@ -167,7 +167,7 @@
             'q'      => $q,
         )
     );
-    echo site_footer();
+    echo site_footer('$Id$');
     exit;
 
 }
@@ -231,7 +231,7 @@
     )
 );
     
-echo site_footer();
+echo site_footer('$Id$');
 
 
 ?>