author | wenzelm |
Sun, 01 May 2011 16:36:34 +0200 | |
changeset 42511 | bf89455ccf9d |
parent 30457 | 28b487cd9e15 |
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)