> + <copy todir="${docs.dest}/tomcat-7.0-doc" >
> + <fileset dir="${tomcat70.home}/tomcat-7.0-doc" />
> + </copy>
Additional things to take care of:
(Just reminding if I or someone else will update build.xml)
1. It should be possible to untar the files directly into docs, to
avoid the copy operation.
2. Delete WEB-INF subdirectories, like it was done
http://svn.apache.org/viewvc?rev=1307893&view=rev
Those WEB-INF subdirectories are needed when documentation is run as a
web application on Tomcat, but are not needed when it is published
through Apache HTTPD.
Best regards,
Konstantin Kolinko
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
