From 734b8bd0abd9bee2aafbaa8b348f55b41c0a4334 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 30 Aug 2019 11:03:26 +0200
Subject: [PATCH] [doc] Use latexmk for compilation

---
 doc/userman/Makefile | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/doc/userman/Makefile b/doc/userman/Makefile
index 7a4612fb..4aecdea8 100644
--- a/doc/userman/Makefile
+++ b/doc/userman/Makefile
@@ -60,11 +60,7 @@ version.tex: Makefile
 	ocamllex $<
 
 %.pdf: %.tex
-	pdflatex $*
-	makeindex $*
-	bibtex $*
-	pdflatex $*
-	pdflatex $*
+	latexmk $<
 
 %.cmo: %.ml
 	ocamlc -c $<
-- 
GitLab