| author | nipkow |
| Wed, 11 Mar 2009 12:51:00 +0100 | |
| changeset 30436 | 1bc0638d554d |
| child 30457 | 28b487cd9e15 |
| permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 SRC = ../../src/HOL/Docs/generated
16 NAME = main
18 FILES = $(NAME).tex Main_Doc.tex \
19 isabelle.sty isabellesym.sty pdfsetup.sty
21 dvi: $(NAME).dvi
23 $(NAME).dvi: $(FILES)
24 $(LATEX) $(NAME)
26 pdf: $(NAME).pdf
28 $(NAME).pdf: $(FILES)
29 $(PDFLATEX) $(NAME)
30 $(FIXBOOKMARKS) $(NAME).out
31 $(PDFLATEX) $(NAME)
32 $(PDFLATEX) $(NAME)
34 isabelle.sty:
35 ln ../isabelle.sty .
37 isabellesym.sty:
38 ln ../isabellesym.sty .
40 pdfsetup.sty:
41 ln ../pdfsetup.sty .
43 copy:
44 cp $(SRC)/Main_Doc.tex Main_Doc.tex
45 cp $(SRC)/root.tex main.tex