Synopsis 0.5 - User Manual

TexInfo

This formatter attempts to output TexInfo .info files. These can be compiled using other tools into man-pages, PDF files, info manuals, etc.

The DocBook formatter does not support any config options yet, however some command line options are still supported. Don't forget to set them using the "-Wf,-foo" syntax!

-o filename

Specifies an output filename. The default is to send output to the console (stdout). You do not need to use the special syntax for this option.

-v

Enables verbose operation.