diff options
| author | Behdad Esfahbod <behdad@behdad.org> | 2013-01-02 18:07:13 -0600 |
|---|---|---|
| committer | Behdad Esfahbod <behdad@behdad.org> | 2013-01-02 18:23:55 -0600 |
| commit | 538f1579e86fdcf471cea58945bf8c674d5b91e7 (patch) | |
| tree | 3df50fc2b90252f42abc296e269b5012e483f83a /doc | |
| parent | 46ab96b8fa029fbc8ccf69a6f2fda89866e3ac9c (diff) | |
Trying to fix distcheck
Doesn't work though :(. Building docs is very fragile...
At least, if docbook is present, distcheck passes now.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index cf1fb89a..c6b095c8 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -199,10 +199,18 @@ all-local: $(BUILT_DOCS) $(HTML_DIR)/* clean-local: $(RM) -r $(HTML_DIR) devel-man [ "x$(builddir)" != "x$(srcdir)" ] && $(RM) $(builddir)/*.sgml || : +dist-local-check-docs-enabled: + @true else htmldoc_DATA += $(srcdir)/$(HTML_DIR)/* all-local: clean-local: +dist-local-check-docs-enabled: + @echo "*** --enable-man must be used in order to make dist" + @false endif +# force doc rebulid after configure +dist-hook-local: dist-local-check-docs-enabled + -include $(top_srcdir)/git.mk |