doc-src/IsarTut/Makefile

added sydney mirror

+
−#
+
−# $Id$
+
−#
+
−
+
−## targets
+
−
+
−default: dvi
+
−
+
−
+
−## dependencies
+
−
+
−include ../Makefile.in
+
−
+
−NAME = isar-tutorial
+
−
+
−FILES = isar-tutorial.tex ../isar.sty ../iman.sty ../extra.sty ../manual.bib \
+
−  generated/Tutorial.tex
+
−
+
−dvi: $(NAME).dvi
+
−
+
−$(NAME).dvi: $(FILES) isabelle_isar.eps
+
−	$(LATEX) $(NAME)
+
−	$(BIBTEX) $(NAME)
+
−	$(LATEX) $(NAME)
+
−	$(LATEX) $(NAME)
+
−	$(SEDINDEX) $(NAME)
+
−	$(LATEX) $(NAME)
+
−
+
−pdf: $(NAME).pdf
+
−
+
−$(NAME).pdf: $(FILES) isabelle_isar.pdf
+
−	$(PDFLATEX) $(NAME)
+
−	$(BIBTEX) $(NAME)
+
−	$(PDFLATEX) $(NAME)
+
−	$(PDFLATEX) $(NAME)
+
−	$(SEDINDEX) $(NAME)
+
−	$(FIXBOOKMARKS) $(NAME).out
+
−	$(PDFLATEX) $(NAME)