Texinfo-to-ROFF direct translator
