doc-src/AxClass/Makefile
changeset 8890 9a44d8d98731
parent 6629 6edc66a9d80b
child 8903 78d6e47469e4
equal deleted inserted replaced
8889:2ec6371fde54 8890:9a44d8d98731
    10 ## dependencies
    10 ## dependencies
    11 
    11 
    12 include ../Makefile.in
    12 include ../Makefile.in
    13 
    13 
    14 NAME = axclass
    14 NAME = axclass
    15 FILES = axclass.tex style.tex
    15 
       
    16 FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../pdfsetup.sty
    16 
    17 
    17 dvi: $(NAME).dvi
    18 dvi: $(NAME).dvi
    18 
    19 
    19 $(NAME).dvi: $(FILES)
    20 $(NAME).dvi: $(FILES) isabelle_isar.eps
       
    21 	$(LATEX) $(NAME)
       
    22 	$(BIBTEX) $(NAME)
    20 	$(LATEX) $(NAME)
    23 	$(LATEX) $(NAME)
    21 	$(LATEX) $(NAME)
    24 	$(LATEX) $(NAME)
    22 
    25 
    23 pdf: $(NAME).pdf
    26 pdf: $(NAME).pdf
    24 
    27 
    25 $(NAME).pdf: $(FILES)
    28 $(NAME).pdf: $(FILES) isabelle_isar.pdf
    26 	$(PDFLATEX) $(NAME)
    29 	$(PDFLATEX) $(NAME)
    27 	$(FIXBOOKMARKS) $(NAME).out
    30 	$(FIXBOOKMARKS) $(NAME).out
       
    31 	$(BIBTEX) $(NAME)
    28 	$(PDFLATEX) $(NAME)
    32 	$(PDFLATEX) $(NAME)
       
    33 	$(PDFLATEX) $(NAME)