Manual compatible with pdflatex.