> I didn't succeeded to rebuild dvips.info, but the generated > dvips.dvi looks fine. Thanks a lot. I have succeeded to build dvips.info by makeinfo in Texinfo 4.8: makeinfo --no-split dvips.texi -- Akira Kakuto