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