doc: run Doxygen twice to work around its bugs
* doc/Makefile.am: Here.
This commit is contained in:
parent
d5bf95c5cb
commit
30b996460c
1 changed files with 6 additions and 1 deletions
|
|
@ -34,7 +34,12 @@ doc:
|
||||||
|
|
||||||
fast-doc:
|
fast-doc:
|
||||||
$(MAKE) Doxyfile
|
$(MAKE) Doxyfile
|
||||||
$(DOXYGEN)
|
## Doxygen 1.8.x will easily segfault during the parallel runs of dot.
|
||||||
|
## 1.8.11 is supposed to be fixed, but until this version reaches all
|
||||||
|
## our build hosts, let's try to run doxygen a second time when the
|
||||||
|
## first attempt fails.
|
||||||
|
## https://bugzilla.gnome.org/show_bug.cgi?id=756241
|
||||||
|
$(DOXYGEN) || $(DOXYGEN)
|
||||||
touch $(srcdir)/stamp
|
touch $(srcdir)/stamp
|
||||||
|
|
||||||
$(srcdir)/stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac
|
$(srcdir)/stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue