: #!/bin/sh   Ceci sera execute par le Bourne shell
#   HOME est redefini de maniere a ce que ce script puisse etre utilise
#   par d'autres
LIB=./lib
LATEX=latex

cat $LIB/prelude.book.tex > work.tex
sed -f $LIB/accents.tex $1.tex >> work.tex
cat $LIB/postlude.tex >> work.tex
$LATEX work
mv work.dvi $1.dvi
rm work.tex
rm work.log
dvips $1.dvi > $1.ps

