Skip to content

GitLab

why3
why3
Commit cbf6bb1d authored by François Bobot's avatar François Bobot
Browse files
Options

use rubber instead of an arbitrary number of compilation

parent a94f931e
Hide whitespace changes
Inline Side-by-side
Showing with 7 additions and 8 deletions
Makefile.in
View file @ cbf6bb1d
##########################################################################
# #
# Copyright (C) 2010- #
......@@ -750,18 +751,16 @@ DOC = doc/manual.pdf
doc: $(DOC)
.PHONY:$(DOC)
doc/manual.pdf: doc/apidoc.tex doc/manual.tex doc/version.tex
cd doc; pdflatex manual
cd doc; makeglossaries manual
cd doc; pdflatex manual
cd doc; makeglossaries manual
cd doc; pdflatex manual
cd doc; rubber -d manual.tex
doc/manual.html: doc/manual.tex doc/version.tex
$(MAKE) -C doc manual.html
# doc/manual.html: doc/manual.tex doc/version.tex
# $(MAKE) -C doc manual.html
clean::
$(MAKE) -C doc clean
cd doc; rubber -d --clean manual.tex
##########
# API DOC
......
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