Earlier quoted context omitted.
Yeah, what is the point of gnu info?
From https://www.gnu.org/prep/standards/html_node/GNU-Manuals.htm... The preferred document format for the GNU system is the Texinfo formatting language. Every GNU package should (ideally) have documentation in Texinfo both for reference and for learners. Texinfo makes it possible to produce a good quality formatted book, using TeX, and to generate an Info file. It is also possible to generate HTML output from Texinf…
The bit that pisses me off is: man awk (see info awk instead). I think they fixed that but it was a pain in the butt for years. Is it in man or is it in info?
One tool for the job.
Edit: cite your sources :)
1 - OpenBSD awk (6 pages if I print preview it): http://www.openbsd.org/cgi-bin/man.cgi?query=awk&apropos=0&s...
2 - GNU awk (330 pages if I print preview it): https://www.gnu.org/software/gawk/manual/gawk.html