Use pdflatex, and put pretty colors in code in ...
Use pdflatex, and put pretty colors in code in ...

Use pdflatex, and put pretty colors in code in the PDF

This commit was SVN r3048.

ggouaillardet/hwloc,shekkbuilder/hwloc,ggouaillardet/hwloc,shekkbuilder/hwloc,ggouaillardet/hwloc,shekkbuilder/hwloc,shekkbuilder/hwloc,ggouaillardet/hwloc