#!/bin/sh
#
echo "Documentation Interface PostScript"
echo
echo "I. lancement caml V3.1 "
echo
/bin/time caml V3.1<<FIN
cd "../src";;
load "graphics";;
cd "../doc";;
latex_file "graphique";;

FIN
echo
echo "II. Latex sur le fichier graphique.ml.tex"
echo
/bin/time latex graphique.ml.tex
echo

echo
echo "III Production fichier PostScript : graphique.ps"
echo
/bin/time dvips -f graphique.ml.dvi > graphique.ml.ps
echo
echo "Ouf "
echo

