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