#!/bin/sh
#
latex user_manual.tex
dvips user_manual.dvi -o user_manual.ps
ps2pdf user_manual.ps
