Subject: CVS commit: htdocs/guide/en
To: None <>
From: Rui Paulo <>
List: www-changes
Date: 08/07/2005 17:14:02
Module Name:	htdocs
Committed By:	rpaulo
Date:		Sun Aug  7 17:14:02 UTC 2005

Modified Files:
	htdocs/guide/en: Makefile

Log Message:
Added chap-veriexec.xml.

To generate a diff of this commit:
cvs rdiff -r1.27 -r1.28 htdocs/guide/en/Makefile

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