1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/Main/Makefile Wed Mar 11 12:51:00 2009 +0100
1.3 @@ -0,0 +1,45 @@
1.4 +#
1.5 +# $Id$
1.6 +#
1.7 +
1.8 +## targets
1.9 +
1.10 +default: dvi
1.11 +
1.12 +
1.13 +## dependencies
1.14 +
1.15 +include ../Makefile.in
1.16 +
1.17 +SRC = ../../src/HOL/Docs/generated
1.18 +
1.19 +NAME = main
1.20 +
1.21 +FILES = $(NAME).tex Main_Doc.tex \
1.22 + isabelle.sty isabellesym.sty pdfsetup.sty
1.23 +
1.24 +dvi: $(NAME).dvi
1.25 +
1.26 +$(NAME).dvi: $(FILES)
1.27 + $(LATEX) $(NAME)
1.28 +
1.29 +pdf: $(NAME).pdf
1.30 +
1.31 +$(NAME).pdf: $(FILES)
1.32 + $(PDFLATEX) $(NAME)
1.33 + $(FIXBOOKMARKS) $(NAME).out
1.34 + $(PDFLATEX) $(NAME)
1.35 + $(PDFLATEX) $(NAME)
1.36 +
1.37 +isabelle.sty:
1.38 + ln ../isabelle.sty .
1.39 +
1.40 +isabellesym.sty:
1.41 + ln ../isabellesym.sty .
1.42 +
1.43 +pdfsetup.sty:
1.44 + ln ../pdfsetup.sty .
1.45 +
1.46 +copy:
1.47 + cp $(SRC)/Main_Doc.tex Main_Doc.tex
1.48 + cp $(SRC)/root.tex main.tex