> Sigh. I never got the knack of the info system. Is there a decent viewer > for texi files beyond the rather spartan info command? I use acroread. The makefile knows how to make pdfs from the texi input files.