> the official tarball released will have a newly generated manual anyway, > so only people compiling Rivet from trunk would be affected and build > the manual on their own.
(We do the same in Websh: only quickref.xml and quickref.xsl are actually in the repository. The resulting html is built locally and added as a separate release artifact. Was never a problem so far.) +1 for removing the html (if that helps to decide ;-) Ronnie -- Ronnie Brunner | [email protected] | phone +41-44-247 79 79 | fax +41-44-247 70 75 | Netcetera AG | 8040 Zürich | Switzerland | http://netcetera.ch --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
