does one really need all those ps, pdf, texi, html and txt docs on top of the info and man pages? (e.g. --enable-docs-install)
Well, some people really hate info pages and prefer html or pdf.Having both ps and pdf is probably overkill, so I'd drop the ps if it were up to me.
