

#
#
# /*          Alliance CAD System V.R                                       */
# /*             FpGen Package V.RR                                         */
# /*                                                                        */
# /*  Copyright(c) 93-AA, MASI, CAO-VLSI Team                               */
# /*                                                                        */
# /*  Author      :          Jean-Paul CHAPUT                               */
# /*  E-mail      :      cao-vlsi@masi.ibp.fr                               */
# /* ---------------------------------------------------------------------- */
# /*  Makefile    :      FpGen/DPR Examples.                                */
# /* ********************************************************************** */
# /*  28/02/95:1.00:Jean-Paul CHAPUT                                        */
#
#

EPSS = sample_dpt-1.eps \
	   sample_dpt-2.eps \
	   sample_dpt-3.eps \
	   sample_dpt-4.eps \
	   sample_dpt-5.eps \
	   sample_dpt-6.eps \
	  usercol_dpt-2.eps \
	hierarchy_dpt-1.eps

PSS  = ps/trace-fpgen-1.ps \
	   ps/trace-logic-1.ps \
	   ps/trace-logic-2.ps \
	   ps/trace-proof-1.ps \
	   ps/trace-druc-1.ps  \
	   ps/trace-lynx-1.ps  \
	   ps/trace-lynx-2.ps  \
	   ps/trace-desb-1.ps  \
	   ps/trace-dpr-1.ps   \
	   ps/trace-lvx-1.ps


.PRECIOUS: %.eps %.dvi %.ps


%.eps : %.fig
	fig2dev -L ps -c -p dummy $*.fig $*.eps


%.dvi : %.latex $(EPSS)
	latex $*.latex
	latex $*.latex


%.ps : %.dvi $(PSS)
	dvips -o $*.ps $*.dvi


all: doc-french doc-english

doc-french:  tutoriel.ps
doc-english: tutorial.ps

clean:
	rm -f tutoriel.ps  \
		  tutorial.ps  \
				 *.eps \
				 *.aux \
				 *.log \
				 *.lof \
				 *.toc \
				 *.dvi





