diff --git a/doc/Makefile b/doc/Makefile
index 616c7d5ceb..024016ab81 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,3 +1,6 @@
+#
+#  $Id$
+#
 
 include Make.config
 
diff --git a/doc/do_docs b/doc/do_docs
index a657b5c63f..4f5ce20016 100755
--- a/doc/do_docs
+++ b/doc/do_docs
@@ -1,4 +1,7 @@
 #! /bin/sh
+#
+#  $Id$
+#
 
 basedir=$1
 shift