Could someone provide some example of the sequence to get some nice (dvi, ps, html, whatever) file of the info pages? I've been trying to follow the instructions given to use makeinfo, texinfo and friends, but there must be some missunderstanding somewhere on my side. Supposedly, the same info source files are used to generate either output, but no for me.