From 3922b53acb6e046308433356f3148993cba5f101 Mon Sep 17 00:00:00 2001
From: Nik Clayton <nik@FreeBSD.org>
Date: Wed, 27 Jan 1999 00:22:31 +0000
Subject: [PATCH] Include <!-- $Source$ --> at the top, so that each file will
 have the full path to the source .sgml file in the repository included within
 it. Not all .html files are generated from .sgml files in the same directory,
 this makes finding the source .sgml from the .html file a little easier.

No objections from: Wolfram
---
 en/doc.hdr | 2 ++
 1 file changed, 2 insertions(+)

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">