1 files changed, 5 insertions, 5 deletions

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 88ba67f..97adffb 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -29,5 +29,6 @@ CHECK_DOCS=$(top_srcdir)/@IMPRIMATUR_MODULE_DIR@/check-docs.sh
 
-GENDOCS=gendocs.sh
+GENDOCS=$(srcdir)/gendocs.sh
+EXTRA_DIST += gendocs.sh
 
-TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -E
+TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -I $(top_srcdir)/imprimatur
 
@@ -40,4 +41,3 @@ manual:
          TEXI2DVI="$(TEXI2DVI) -t @finalout" \
-         TEXI2HTML="texi2html $(AM_MAKEINFOFLAGS)" \
-         $(GENDOCS) --texi2html $(PACKAGE) '$(PACKAGE_NAME) manual'
+         $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual'
 
@@ -65,3 +65,3 @@ check-config:
            $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) -E - \
-                $(info_TEXINFOS) 
+                $(info_TEXINFOS)