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:<pre>$ sudo apt-get install python-pygments</pre> =Usage=To use Pygments, simply run the <code>pygmentize</code> command, specifying an output file of the type of your choice. For example:<pre>$ pygmentize -o wsdl.tex WeatherForecast.wsdl</pre> =See Also=* [[LaTeX]] =External Links=* [http://pygments.org/ Pygments homepage]* [http://paste.pocoo.org/ Pastebin using Pygments] [[Category:Commandline *nix]][[Category:Libre course software]][[Category:Needs restorationPending deletion]]