Module Name:	htdocs
Committed By:	dent
Date:		Sun Jul  8 17:18:46 UTC 2001

Modified Files:
	htdocs/Releases/formal-1.4: index.html index.list
	htdocs/Releases/formal-1.5: index.html index.list

Log Message:
Add comment to the top of list file noting <LIST>, </LIST> shouldn't
be used (list2html.pl will warn about their absence, and say something
like, "WARNING: Unable to located <LIST> tag, check header to see if
this is desired")

Regen.


To generate a diff of this commit:
cvs rdiff -r1.24 -r1.25 htdocs/Releases/formal-1.4/index.html
cvs rdiff -r1.3 -r1.4 htdocs/Releases/formal-1.4/index.list
cvs rdiff -r1.27 -r1.28 htdocs/Releases/formal-1.5/index.html
cvs rdiff -r1.3 -r1.4 htdocs/Releases/formal-1.5/index.list

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.