More RCS keyword fumbling.

diff --git a/contrib/tools/make/Makefile.DocBook b/contrib/tools/make/Makefile.DocBook
index 84aac9fa5d5bc51faefc793bc21d688327f02c41..494bc156f3bc62287c3233b3637a9172b5fb9a03 100644 (file)
--- a/contrib/tools/make/Makefile.DocBook
+++ b/contrib/tools/make/Makefile.DocBook
@@ -1,8 +1,6 @@
-# $Header$
-# $CVSHeader$
-# $Revision$
-# $Source$
+# $Name$
 # $Date$
+# $Revision$
 #
 # -----------------------------------------------------------------
 #  ** Makefile.DocBook -- generate output from DocBook sources **