aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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
@@ -76,3 +76,3 @@ 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
@@ -89,3 +89,3 @@ manual:
TEXI2DVI="$(TEXI2DVI) -t @finalout" \
- $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual'
+ $(GENDOCS) $(PACKAGE) '$(PACKAGE_NAME) manual'

Return to:

Send suggestions and report system problems to the System administrator.