+\\Format text txt ASCII A
+\\Format textparagraph txt ASCII(paragraphs) ""
+\\Format docbook sgml DocBook B
+\\Format bmp bmp BMP ""
+\\Format dvi dvi DVI D
+\\Format eps eps EPS ""
+\\Format epsi epsi EPSI ""
+\\Format fax "" Fax ""
+\\Format fits fits FITS ""
+\\Format gif gif GIF ""
+\\Format grace agr GRACE ""
+\\Format html html HTML H
+\\Format jpg jpg JPEG ""
+\\Format latex tex LaTeX L
+\\Format linuxdoc sgml LinuxDoc x
+\\Format lyx lyx LyX ""
+\\Format literate nw NoWeb N
+\\Format pdf pdf PDF P
+\\Format pdf2 pdf "PDF (pdflatex)" F
+\\Format pdf3 pdf "PDF (dvipdfm)" m
+\\Format pbm pbm PBM ""
+\\Format pgm pgm PGM ""
+\\Format png png PNG ""
+\\Format ppm ppm PPM ""
+\\Format ps ps Postscript t
+\\Format program "" Program ""
+\\Format sgi sgi SGI ""
+\\Format tgif tgif TGIF ""
+\\Format tiff tif TIFF ""
+\\Format xbm xbm XBM ""
+\\Format xpm xpm XPM ""
+\\Format xwd xwd XWD ""
+\\Format word doc Word W
+
+\\converter latex dvi "$latex_to_dvi" "latex"
+\\converter latex pdf2 "$latex_to_pdf" "latex"
+\\converter latex html "$latex_to_html_command" "originaldir,needaux"
+\\converter literate latex "$literate_to_tex_command" ""
+\\converter dvi pdf3 "$dvi_to_pdf_command" ""
+\\converter dvi ps "$dvi_to_ps_command" ""
+\\converter ps pdf "$ps_to_pdf_command" ""
+\\converter ps fax "$fax_command" ""
+\\converter linuxdoc lyx "$linuxdoc_to_lyx_command" ""
+\\converter linuxdoc latex "$linuxdoc_to_latex_command" ""
+\\converter linuxdoc dvi "$linuxdoc_to_dvi_command" ""
+\\converter linuxdoc html "$linuxdoc_to_html_command" ""
+\\converter docbook dvi "$docbook_to_dvi_command" ""
+\\converter docbook html "$docbook_to_html_command" ""
+
+\\converter latex lyx "$tex_to_lyx_command" ""
+\\converter literate lyx "$literate_to_lyx_command" ""
+\\converter html latex "$html_to_latex_command" ""
+\\converter word latex "$word_to_latex_command" ""
+
+\\converter agr eps "xmgrace -hardcopy -printfile \$\$o -hdevice EPS \$\$i" ""
+\\converter bmp eps "$bmp_to_eps" ""
+\\converter fits eps "$fits_to_eps" ""
+\\converter gif eps "$gif_to_eps" ""
+\\converter jpg eps "$jpg_to_eps" ""
+\\converter pbm eps "$pbm_to_eps" ""
+\\converter pgm eps "$pgm_to_eps" ""
+\\converter png eps "$png_to_eps" ""
+\\converter ppm eps "$ppm_to_eps" ""
+\\converter sgi eps "$sgi_to_eps" ""
+\\converter tgif eps "tgif -print -eps \$\$i" ""
+\\converter tiff eps "tiff2ps \$\$i > \$\$o" ""
+\\converter xbm eps "$xbm_to_eps" ""
+\\converter xwd eps "$xwd_to_eps" ""
+
+\\converter tgif xpm "tgif -print -stdout -xpm \$\$i > \$\$o" ""
+\\converter tgif png "tgif -print -stdout -png \$\$i > \$\$o" ""
+\\converter tgif pdf "tgif -print -stdout -pdf \$\$i > \$\$o" ""
+
+\\converter gif png "$gif_to_png" ""
+\\converter eps png "$eps_to_png" ""
+\\converter epsi png "$eps_to_png" ""
+\\converter jpg png "$jpg_to_png" ""
+
+\\converter gif xpm "$gif_to_xpm" ""
+\\converter eps xpm "$eps_to_xpm" ""
+\\converter epsi xpm "$eps_to_xpm" ""
+\\converter jpg xpm "$jpg_to_xpm" ""
+\\converter png xpm "$png_to_xpm" ""
+\\converter ps xpm "$ps_to_xpm" ""
+\\converter xbm xpm "$xbm_to_xpm" ""
+
+\\converter eps pdf "$eps_to_pdf" ""
+\\converter epsi pdf "$eps_to_pdf" ""