author | krauss |
Tue, 02 Aug 2011 10:36:50 +0200 | |
changeset 44013 | 5cfc1c36ae97 |
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)