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;
     1 
     2 ## targets
     3 
     4 default: dvi
     5 
     6 
     7 ## dependencies
     8 
     9 include ../Makefile.in
    10 
    11 NAME = main
    12 
    13 FILES = ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty $(NAME).tex	\
    14   Docs/document/Main_Doc.tex
    15 
    16 dvi: $(NAME).dvi
    17 
    18 $(NAME).dvi: $(FILES)
    19 	$(LATEX) $(NAME)
    20 
    21 pdf: $(NAME).pdf
    22 
    23 $(NAME).pdf: $(FILES)
    24 	$(PDFLATEX) $(NAME)