alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* doc/Makefile.am ($(srcdir)/stamp): Do not depend on dot

Browse source 
explicitly, otherwise the documentation is always built and
distcheck fails.
This commit is contained in:
Alexandre Duret-Lutz 2010-01-31 21:48:29 +01:00
parent 34728dca52
commit ca1bec3093
2 changed files with 13 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

12
doc/Makefile.am
View file

@ -1,6 +1,8 @@
## Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
## département Systèmes Répartis Coopératifs (SRC), Université Pierre
## et Marie Curie.
## Copyright (C) 2010 Laboratoire de Recherche et Développement de
## l'Epita (LRDE).
## Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris
## 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
## Université Pierre et Marie Curie.
##
## This file is part of Spot, a model checking library.
##
@ -34,8 +36,8 @@ fast-doc:
$(DOXYGEN)
touch $(srcdir)/stamp
$(srcdir)/stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac dot
$(MAKE) Doxyfile
$(srcdir)/stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac
$(MAKE) Doxyfile dot
-rm -rf spot.html spot.latex
$(DOXYGEN)
touch $@