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/