diff --git a/doc/basic.doc b/doc/basic.doc
index 5c1b46360..43947d64a 100644
--- a/doc/basic.doc
+++ b/doc/basic.doc
@@ -1,3 +1,4 @@
+.\" $Header$
 .TL
 .de Sy
 .LP