[ jEdit-CVS ] CVS update: plugins/Templates

[Steve J. <sj...@us...>]

Date:	Monday July 29, 2002 @ 7:25
Author:	sjakob

Update of /cvsroot/jedit/plugins/Templates
In directory usw-pr-cvs1:/tmp/cvs-serv14843

Modified Files:
	build.xml 
Log Message:
Fixed problem where docs were built even when users-guide.xml was up-to-date.