diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index c6628cd..1c21968 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -131,7 +131,7 @@ final: imprimatur-final # Just call `make RENDITION=PROOF [target]' if you want PROOF rendition. RENDITION = DISTRIB -GENDOCS=$(srcdir)/gendocs.sh +GENDOCS=$(srcdir)/gendocs.sh --no-copy-images --html '--init-file=$(abs_srcdir)/html.init' EXTRA_DIST += gendocs.sh TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -I $(top_srcdir)/imprimatur |