[OFFTOPIC] Info files vs Man pages

[Joe Buck]

> Please, please, can we have an option to disable generation of info files
> completely and an option to enable generation of man pages. 

Well, man pages aren't generated at the moment, so you can do the former
but not the latter.

And some might find it more useful to generate HTML rather than info
files (you can generate HTML from Texinfo source with texi2html).

> That way, I can do --disable-info-files --enable-man-pages, and not bloat
> my system with info files which I never read - I find man pages superior. 

man pages typically tell you how to invoke a program, while a texinfo
document is a book, so they serve different purposes.

> Am I right in assuming man and info files are generated from the same
> source files? 

No.