diff --git a/en/doc.hdr b/en/doc.hdr
index cda2f1a769..6252ce4124 100644
--- a/en/doc.hdr
+++ b/en/doc.hdr
@@ -1,3 +1,5 @@
+<!-- $Source: /home/ncvs/www/en/doc.hdr,v $ -->
+
 <IMG SRC="../gifs/bar.gif" ALT="Navigation Bar" WIDTH="565" HEIGHT="33" BORDER=0 usemap="#bar">
 <map name="bar">
 <area shape="rect" coords="1,1,111,31" href="../index.html" ALT="Top">