I think the subject says it all and I proposed this one already in the
past but had no answer whatsoever.
I don't see why the repository has to carry the html pages that actually
are built from the xml docbook files. Every time a single bit of the xml
source is modified a bunch of pages are marked as locally modified and
pointlessly have to be commited.
This doesn't affect the process of building Rivet, as the manual is not
generated in the build process, and would require to move the graphics
sourced in by the manual pages in a different directory and copy it back
to the 'ignored' html dir when needed.
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.
-- Massimo
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
