#!/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. insérer dans le préambule \pasdepartieIItrue pour ne pas générer
#     la 2e partie (expliquant la 1ere)
#  2. lancer les commandes ci-dessous (./INSTALL marche bien aussi sous linux)
#

#0. prendre le « bon » Makefile
	cp -f Makefile.manuel Makefile

#1. produire les figures 
	make figs

#2. générer les figures « récursives » de l'introduction

	command latex --interaction nonstopmode guide-local
	command latex --interaction nonstopmode guide-local 
        # 2 fois pour avoir la tdm
	make recursefigs

#3. générer un dvi

	latex guide-local
	make bibindex
	latex guide-local
	latex guide-local

# 4. générer les pdfs

# 4.1 pour la visu

	pdflatex guide-local
	make bibindex
	pdflatex guide-local
	pdflatex guide-local

# 4.2 pour l'impression
	dvips guide-local.dvi -o
	make print-0
	make print-1
	make print-2

# 4. compresser le postscript
	bzip2 guide-local.ps

