summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorBehdad Esfahbod <behdad@gnome.org>2007-12-21 19:44:37 +0000
committerBehdad Esfahbod <behdad@src.gnome.org>2007-12-21 19:44:37 +0000
commit081c7214b2cb41e5eef5865a8d9a9e54fa6bd120 (patch)
tree660a8315d8bc274d2d9a954392a2c768e6423bed /docs
parent7972c32a30442a84764d4bb03e7a950e4703ca61 (diff)
downloadpango-081c7214b2cb41e5eef5865a8d9a9e54fa6bd120.tar.gz
Check for dummy man pages in dist-local.
2007-12-21 Behdad Esfahbod <behdad@gnome.org> * docs/Makefile.am: Check for dummy man pages in dist-local. svn path=/trunk/; revision=2531
Diffstat (limited to 'docs')
-rw-r--r--docs/Makefile.am7
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am
index cfc20e3f..b32cb757 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -101,10 +101,15 @@ MAINTAINERCLEANFILES = $(man_MANS)
if ENABLE_MAN
.xml.1:
@XSLTPROC@ -nonet http://docbook.sourceforge.net/release/xsl/current/manpages/docbook.xsl $<
+dist-local-check-mans-enabled:
+ @if grep "Man generation disabled" $(man_MANS) >/dev/null; then $(RM) $(man_MANS); fi
else
$(man_MANS):
@echo Man generation disabled. Creating dummy $@. Configure with --enable-man to enable it.
@echo Man generation disabled. Remove this file, configure with --enable-man, and rebuild Pango > $@
+dist-local-check-mans-enabled:
+ @echo "*** --enable-man must be used in order to make dist"
+ @false
endif
EXTRA_DIST += \
@@ -114,7 +119,7 @@ EXTRA_DIST += \
check.docs
# force doc rebulid after configure
-dist-hook-local: dist-local-check-no-cross-references maintainer-clean-local all-local
+dist-hook-local: dist-local-check-mans-enabled dist-local-check-no-cross-references maintainer-clean-local all-local
files='$(BUILT_EXTRA_DIST)'; \
for f in $$files; do \
if test -f $$f; then d=.; else d=$(srcdir); fi; \