diff options
| -rw-r--r-- | doc/hackersguide/Makefile.am | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/doc/hackersguide/Makefile.am b/doc/hackersguide/Makefile.am index d98a69250..7cd4cf2cc 100644 --- a/doc/hackersguide/Makefile.am +++ b/doc/hackersguide/Makefile.am @@ -22,13 +22,6 @@ hackersguidedir = $(htmldir)/hackersguide DISTCLEANFILES = $(hackersguide_DATA) -dist-hook: - @if test x"$(distcheck_lax)" = x ; then \ - $(MAKE) fail_if_missing=yes docs ; \ - else \ - $(MAKE) docs ; \ - fi - hackersguide.html: $(hackersguide_docbook) xmlto html-nochunks $(srcdir)/hackersguide.docbook |