Module Name:	htdocs
Committed By:	grant
Date:		Sat Feb 28 10:31:50 UTC 2004

Modified Files:
	htdocs/es/Releases/formal-1.5: Makefile
	htdocs/es/Releases/formal-1.6: Makefile
Added Files:
	htdocs/es/Releases: Makefile Makefile.inc
	htdocs/es/Releases/formal-1.5: Makefile.inc

Log Message:
use web.site.mk


To generate a diff of this commit:
cvs rdiff -r0 -r1.1 htdocs/es/Releases/Makefile \
    htdocs/es/Releases/Makefile.inc
cvs rdiff -r1.2 -r1.3 htdocs/es/Releases/formal-1.5/Makefile
cvs rdiff -r0 -r1.1 htdocs/es/Releases/formal-1.5/Makefile.inc
cvs rdiff -r1.6 -r1.7 htdocs/es/Releases/formal-1.6/Makefile

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