author | Andreas Lochbihler |
Fri, 01 Jun 2012 13:52:51 +0200 | |
changeset 48058 | 11a732f7d79f |
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)