aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergey Poznyakoff <gray@gnu.org>2019-07-02 17:38:17 +0300
committerSergey Poznyakoff <gray@gnu.org>2019-07-02 17:38:17 +0300
commitbecc0633f67b346b7c434655a71e6818ed62d58f (patch)
tree76222d8c5558d38cdff23ff5b9ba3c33d5c6005c
parent86586549c1b32d3fa6e802814c13129872cbb98a (diff)
downloadpies-becc0633f67b346b7c434655a71e6818ed62d58f.tar.gz
pies-becc0633f67b346b7c434655a71e6818ed62d58f.tar.bz2
Fix doc/manual generation
-rw-r--r--doc/Makefile.am4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 2f8fe2d..6f0c5f7 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -75,5 +75,5 @@ untabify: imprimatur-untabify
final: imprimatur-final
-GENDOCS=$(srcdir)/gendocs.sh
+GENDOCS=$(srcdir)/gendocs.sh --no-copy-images --html --init-file='$(abs_srcdir)/html.init'
EXTRA_DIST += gendocs.sh
@@ -88,5 +88,5 @@ manual:
MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \
TEXI2DVI="$(TEXI2DVI) -t @finalout" \
- $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual'
+ $(GENDOCS) $(PACKAGE) '$(PACKAGE_NAME) manual'
manual.tar.bz2: manual

Return to:

Send suggestions and report system problems to the System administrator.