[Webwork-devel] CVS update: 'webwork/src/build build.properties build.xml'

[Rickard ?b. <ric...@us...>]

Update of /cvsroot/webwork/webwork/src/build
In directory usw-pr-cvs1:/tmp/cvs-serv3386

Modified Files:
	build.properties build.xml 
Log Message:
Recreate docs even if index.xml is not updated