I no one opposes this I will drop the no-chunk target (html/rivet.html) from the 'make docs' command and leave it as an option to the user (docs aren't built by default anyway)
I'm trying to improve the manual xml structure in order to ease the styling and removed it for good in my working copy, but I don't see the point in generating the manual always in 2 forms -- Massimo --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
