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

* doc/Makefile.am: Add missing dependency on userdoc/

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-03-28 17:57:21 +01:00
parent 9145515bb8
commit 12d369fc30
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/Makefile.am
View file

@ -72,6 +72,8 @@ ORG_FILES = \
$(srcdir)/org-stamp: $(ORG_FILES) $(configure_ac)
make org && touch $@
$(srcdir)/userdoc: $(srcdir)/org-stamp
EXTRA_DIST = \
footer.html \
mainpage.dox \
@ -79,7 +81,7 @@ EXTRA_DIST = \
$(srcdir)/spot.html \
$(ORG_FILES) \
$(srcdir)/org-stamp \
userdoc
$(srcdir)/userdoc
.PHONY: org-deploy
org-deploy: $(srcdir)/org-stamp