Module Name:	htdocs
Committed By:	dent
Date:		Sun Apr  8 20:44:51 UTC 2001

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

Log Message:
fix dead man page links.


To generate a diff of this commit:
cvs rdiff -r1.21 -r1.22 htdocs/Releases/formal-1.4/index.html

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