#!/bin/sh
#
# Ce script a été testé sur Debian Etch 
#   avec tex-live 2007 (http://people.debian.org/~preining/TeX)
#   les fontes cm-super
# 
#
# Exécutables requis :
#  - gnu make
#  - epstopdf
#  - transfig (fig2dev)
#  - sed
#
#
# Pour générer les différentes versions (ps et pdf) du manuel :
#
#  1. préciser dans "enligne" ou "paper" en argument de ce script
MAITRE=${1:?"enligne ou papier"}
echo $MAITRE > .version
MAITRE="unix-"$MAITRE
echo $MAITRE > .maitre

# 0 prendre le « bon » makefile
	cp -f Makefile.frama Makefile 
 
# 1. produire les figures 
	make figs

# 2. pour générer le pdf

	pdflatex $MAITRE
	make bibindex
	pdflatex $MAITRE
	pdflatex $MAITRE
	pdflatex $MAITRE

# 3. nettoyage de printemps
	make cleantex
