Follow-up Comment #3, sr #108048 (project administration): Hmm, the purpose of gendocs is to generate documentation :). The script is already plenty complex, I don't want to attempt playing with installing them in CVS too. A separate script would be the thing to do for that, IMHO.
Maybe I could add something to maintain.texi about it all, but honestly, I'm skeptical anyone would find it there either. cheers, k _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/support/?108048> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/