author | bulwahn |
Tue, 15 Nov 2011 15:38:50 +0100 | |
changeset 45507 | 6975db7fd6f0 |
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)