######################################################################
#
#           The Makefile for the CAML Primer
#               (anonymous contribution)
#
######################################################################
#
#   Notes: `make all' produces a "dvi" file: Primer.ml.dvi
#          print it by using your favourite printing command
#
######################################################################

SIZE=40

all: Primer.ml.dvi
	@echo '$? done'

Primer.ml.dvi: Primer.ml.tex
	/bin/rm -f Primer.ml.idx.tex Primer.ml.idx
	touch Primer.ml.idx.tex
	latex $?
	latex $?
	process_index 'Primer.ml'
	latex $?

Primer.ml.tex: Primer.tex
	echo 'latex_file "Primer";; quit();; ' | caml $(SIZE)

