doc-src/Main/Makefile
author nipkow
Wed Mar 11 12:51:00 2009 +0100 (2009-03-11)
changeset 30442 1bc0638d554d
child 30457 28b487cd9e15
permissions -rw-r--r--
Added "What's in Main" to doc sources
nipkow@30442
     1
#
nipkow@30442
     2
# $Id$
nipkow@30442
     3
#
nipkow@30442
     4
nipkow@30442
     5
## targets
nipkow@30442
     6
nipkow@30442
     7
default: dvi
nipkow@30442
     8
nipkow@30442
     9
nipkow@30442
    10
## dependencies
nipkow@30442
    11
nipkow@30442
    12
include ../Makefile.in
nipkow@30442
    13
nipkow@30442
    14
SRC = ../../src/HOL/Docs/generated
nipkow@30442
    15
nipkow@30442
    16
NAME = main
nipkow@30442
    17
nipkow@30442
    18
FILES = $(NAME).tex Main_Doc.tex \
nipkow@30442
    19
  isabelle.sty isabellesym.sty pdfsetup.sty
nipkow@30442
    20
nipkow@30442
    21
dvi: $(NAME).dvi
nipkow@30442
    22
nipkow@30442
    23
$(NAME).dvi: $(FILES)
nipkow@30442
    24
	$(LATEX) $(NAME)
nipkow@30442
    25
nipkow@30442
    26
pdf: $(NAME).pdf
nipkow@30442
    27
nipkow@30442
    28
$(NAME).pdf: $(FILES)
nipkow@30442
    29
	$(PDFLATEX) $(NAME)
nipkow@30442
    30
	$(FIXBOOKMARKS) $(NAME).out
nipkow@30442
    31
	$(PDFLATEX) $(NAME)
nipkow@30442
    32
	$(PDFLATEX) $(NAME)
nipkow@30442
    33
nipkow@30442
    34
isabelle.sty:
nipkow@30442
    35
	ln ../isabelle.sty .
nipkow@30442
    36
nipkow@30442
    37
isabellesym.sty:
nipkow@30442
    38
	ln ../isabellesym.sty .
nipkow@30442
    39
nipkow@30442
    40
pdfsetup.sty:
nipkow@30442
    41
	ln ../pdfsetup.sty .
nipkow@30442
    42
nipkow@30442
    43
copy:
nipkow@30442
    44
	cp $(SRC)/Main_Doc.tex Main_Doc.tex
nipkow@30442
    45
	cp $(SRC)/root.tex main.tex