author | haftmann |
Fri, 02 Sep 2011 19:29:48 +0200 | |
changeset 44664 | f64c715660c3 |
parent 42511 | bf89455ccf9d |
permissions | -rw-r--r-- |
## targets default: dvi ## dependencies include ../Makefile.in NAME = main FILES = ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty $(NAME).tex \ Docs/document/Main_Doc.tex dvi: $(NAME).dvi $(NAME).dvi: $(FILES) $(LATEX) $(NAME) pdf: $(NAME).pdf $(NAME).pdf: $(FILES) $(PDFLATEX) $(NAME)