Replaced SGML2INFO stuff (which is no longer supported) with SGML2PS (which is, and may well be useful to some).
