Commit 7f47be85 authored by POTTIER Francois's avatar POTTIER Francois

Fix `make loop` in `doc/Makefile`.

parent a715d325
......@@ -29,7 +29,7 @@ manual.html: manual.tex $(DEPS) $(wildcard *.hva)
# present in the manual.
latexmk -pdf -pvc main
latexmk -pdf -pvc manual
rm -f `cat .gitignore`
Markdown is supported
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