#!/bin/sh
#
# mkpdf - Make the PDF version of texinfo documentation
exec texi2dvi --pdf libjit.texi
syntax highlighted by
Code2HTML
, v. 0.9.1