#!/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
#  - psutils (psselect, psbook, psnup)
#  - ghostscript (ps2pdf)
#  - epstopdf
#  - transfig (fig2dev)
#  - sed
#  - imagemagic (convert)
#  - bzip2
#  - tee
#
#
#
# Pour générer les différentes versions (ps et pdf) du manuel :
#
#  1. préciser dans frambook.tex, en option de classe : 
#     versionpapier ou versionenligne
#  2. lancer les commandes ci-dessous en exécutant ce fichier
#

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

# 2. pour générer un dvi

	latex framabook
	make bibindex
	latex framabook
	latex framabook

# 3. pour générer le pdf

	pdflatex framabook
	make bibindex
	pdflatex framabook
	pdflatex framabook

# 4 pour générer un postscript
        dvips framabook.dvi -o 
