doc-src/Logics/Makefile
changeset 6623 021728c71030
parent 6598 c1d7791f0314
child 6629 6edc66a9d80b
equal deleted inserted replaced
6622:90583d625648 6623:021728c71030
    24 	$(BIBTEX) $(NAME)
    24 	$(BIBTEX) $(NAME)
    25 	$(LATEX) $(NAME)
    25 	$(LATEX) $(NAME)
    26 	$(LATEX) $(NAME)
    26 	$(LATEX) $(NAME)
    27 	$(SEDINDEX) $(NAME)
    27 	$(SEDINDEX) $(NAME)
    28 	$(LATEX) $(NAME)
    28 	$(LATEX) $(NAME)
       
    29 
       
    30 pdf: $(NAME).pdf
       
    31 
       
    32 $(NAME).pdf: $(FILES) isabelle.pdf
       
    33 	touch $(NAME).ind
       
    34 	$(PDFLATEX) $(NAME)
       
    35 	$(BIBTEX) $(NAME)
       
    36 	$(PDFLATEX) $(NAME)
       
    37 	$(PDFLATEX) $(NAME)
       
    38 	$(SEDINDEX) $(NAME)
       
    39 	$(FIXBOOKMARKS) $(NAME).out
       
    40 	$(PDFLATEX) $(NAME)