wneuper/isa: doc-src/Makefile.in@2d56911d7329 (annotated)

wenzelm@6593	1	#
wenzelm@6593	2	# $Id$
wenzelm@6593	3	#
wenzelm@6593	4	# Common part for Doc Makefiles
wenzelm@6593	5	#
wenzelm@6593	6
wenzelm@6593	7	## settings
wenzelm@6593	8
wenzelm@6593	9	LATEX = latex
wenzelm@6612	10	PDFLATEX = pdflatex
wenzelm@6593	11	BIBTEX = bibtex
wenzelm@6593	12	RAIL = rail
wenzelm@6593	13	SEDINDEX = ../sedindex
wenzelm@6612	14	FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
wenzelm@6593	15
wenzelm@6604	16	GARBAGE = .aux .log .toc .idx .rai .rao .bbl .ind .blg .out
wenzelm@6593	17	OUTPUT = .dvi .pdf *.ps
wenzelm@6593	18
wenzelm@6593	19
wenzelm@6593	20	## actions
wenzelm@6593	21
wenzelm@6593	22	nothing:
wenzelm@6593	23
wenzelm@6593	24	clean:
wenzelm@6593	25	@rm -f $(GARBAGE)
wenzelm@6593	26
wenzelm@6604	27	mrproper:
wenzelm@6593	28	@rm -f $(OUTPUT) $(GARBAGE)
wenzelm@6593	29
wenzelm@6593	30	isabelle.eps:
wenzelm@6612	31	test -r isabelle.eps \|\| ln -s ../gfx/isabelle.eps .
wenzelm@6593	32
wenzelm@6593	33	isabelle_hol.eps:
wenzelm@6612	34	test -r isabelle_hol.eps \|\| ln -s ../gfx/isabelle_hol.eps .
wenzelm@6593	35
wenzelm@6593	36	isabelle_zf.eps:
wenzelm@6612	37	test -r isabelle_zf.eps \|\| ln -s ../gfx/isabelle_zf.eps .
wenzelm@6612	38
wenzelm@6617	39	isabelle.pdf:
wenzelm@6617	40	test -r isabelle.pdf \|\| ln -s ../gfx/isabelle.pdf .
wenzelm@6612	41
wenzelm@6617	42	isabelle_hol.pdf:
wenzelm@6617	43	test -r isabelle_hol.pdf \|\| ln -s ../gfx/isabelle_hol.pdf .
wenzelm@6612	44
wenzelm@6617	45	isabelle_zf.pdf:
wenzelm@6617	46	test -r isabelle_zf.pdf \|\| ln -s ../gfx/isabelle_zf.pdf .