Hmm, by the way, why are doc/info.1 and other doc/*.1 files in CVS
when they are generated files? I do not have a strict rule about "generated files"; I do whatever seems most useful to me for the people building Texinfo. I keep the man pages in the repository so that people can build with CVS without having to bother installing help2man. karl
