diff options
| author | Behdad Esfahbod <behdad@gnome.org> | 2007-12-21 19:44:37 +0000 |
|---|---|---|
| committer | Behdad Esfahbod <behdad@src.gnome.org> | 2007-12-21 19:44:37 +0000 |
| commit | 081c7214b2cb41e5eef5865a8d9a9e54fa6bd120 (patch) | |
| tree | 660a8315d8bc274d2d9a954392a2c768e6423bed /docs | |
| parent | 7972c32a30442a84764d4bb03e7a950e4703ca61 (diff) | |
| download | pango-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.am | 7 |
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; \ |