Skip to content
Snippets Groups Projects
Commit 734b8bd0 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[doc] Use latexmk for compilation

parent 0799b28b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 5 deletions
doc/userman/Makefile
+ 1
− 5
View file @ 734b8bd0
...@@ -60,11 +60,7 @@ version.tex: Makefile ...@@ -60,11 +60,7 @@ version.tex: Makefile
ocamllex $< ocamllex $<
%.pdf: %.tex %.pdf: %.tex
pdflatex $* latexmk $<
makeindex $*
bibtex $*
pdflatex $*
pdflatex $*
%.cmo: %.ml %.cmo: %.ml
ocamlc -c $< ocamlc -c $<
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment