diff options
-rw-r--r-- | doc/Makefile.am | 4 |
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' |