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
This commit is contained in:
Nik Clayton 1999-01-27 00:22:31 +00:00
parent 72c948eaa3
commit 3922b53acb
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/www/; revision=4124

View file

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