doc-src/Main/Makefile
author wenzelm
Sun May 01 16:36:34 2011 +0200 (2011-05-01)
changeset 42511 bf89455ccf9d
parent 30457 28b487cd9e15
permissions -rw-r--r--
eliminated copies of isabelle style files;
nipkow@30442
     1
nipkow@30442
     2
## targets
nipkow@30442
     3
nipkow@30442
     4
default: dvi
nipkow@30442
     5
nipkow@30442
     6
nipkow@30442
     7
## dependencies
nipkow@30442
     8
nipkow@30442
     9
include ../Makefile.in
nipkow@30442
    10
nipkow@30442
    11
NAME = main
nipkow@30442
    12
wenzelm@42511
    13
FILES = ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty $(NAME).tex	\
wenzelm@30457
    14
  Docs/document/Main_Doc.tex
nipkow@30442
    15
nipkow@30442
    16
dvi: $(NAME).dvi
nipkow@30442
    17
nipkow@30442
    18
$(NAME).dvi: $(FILES)
nipkow@30442
    19
	$(LATEX) $(NAME)
nipkow@30442
    20
nipkow@30442
    21
pdf: $(NAME).pdf
nipkow@30442
    22
nipkow@30442
    23
$(NAME).pdf: $(FILES)
nipkow@30442
    24
	$(PDFLATEX) $(NAME)