TODO: Migrate to software page

Pygments is a source code pretty-printer that can output to many formats including LaTeX.

Installation

To install Pygments on Ubuntu, simply run:

$ sudo apt-get install python-pygments

Usage

To use Pygments, simply run the pygmentize command, specifying an output file of the type of your choice. For example:

$ pygmentize -o wsdl.tex WeatherForecast.wsdl