diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gnome-doc-utils.m4 | 1 | ||||
| -rw-r--r-- | tools/gnome-doc-utils.make | 8 |
2 files changed, 8 insertions, 1 deletions
diff --git a/tools/gnome-doc-utils.m4 b/tools/gnome-doc-utils.m4 index 5ef2167..8dfb843 100644 --- a/tools/gnome-doc-utils.m4 +++ b/tools/gnome-doc-utils.m4 @@ -26,6 +26,7 @@ AC_ARG_ENABLE([scrollkeeper], enable_scrollkeeper=yes) AM_CONDITIONAL([ENABLE_SK],[test "$gdu_cv_have_gdu" = "yes" -a "$enable_scrollkeeper" = "yes"]) +AM_CONDITIONAL([HAVE_GNOME_DOC_UTILS],[test "$gdu_cv_have_gdu" = "yes"]) ]) # GNOME_DOC_INIT ([MINIMUM-VERSION],[ACTION-IF-FOUND],[ACTION-IF-NOT-FOUND]) diff --git a/tools/gnome-doc-utils.make b/tools/gnome-doc-utils.make index ba28a07..eca7108 100644 --- a/tools/gnome-doc-utils.make +++ b/tools/gnome-doc-utils.make @@ -59,13 +59,19 @@ $(DOC_H_FILE): $(DOC_H_DOCS); done; cp $@.tmp $@ && rm -f $@.tmp +dist-check-gdu: +if !HAVE_GNOME_DOC_UTILS + @echo "*** GNOME Doc Utils must be installed in order to make dist" + @false +endif + .PHONY: dist-doc-header dist-doc-header: $(DOC_H_FILE) @if test -f "$(DOC_H_FILE)"; then d=; else d="$(srcdir)/"; fi; \ echo "$(INSTALL_DATA) $${d}$(DOC_H_FILE) $(distdir)/$(DOC_H_FILE)"; \ $(INSTALL_DATA) "$${d}$(DOC_H_FILE)" "$(distdir)/$(DOC_H_FILE)"; -doc-dist-hook: $(if $(DOC_H_FILE),dist-doc-header) +doc-dist-hook: dist-check-gdu $(if $(DOC_H_FILE),dist-doc-header) .PHONY: clean-doc-header _clean_doc_header = $(if $(DOC_H_FILE),clean-doc-header) |