diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 6973359..134a489 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -50,7 +50,8 @@ imprimatur_INPUT=$(info_TEXINFOS) $(cfpeek_TEXINFOS) include ../imprimatur/imprimatur.mk 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 @@ -61,7 +62,7 @@ manual: TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ TEXI2DVI="$(TEXI2DVI) -t @finalout" \ - $(GENDOCS) --texi2html --html "--I=$(top_srcdir)/@GRECS_SUBDIR@/doc" $(PACKAGE) '$(PACKAGE_NAME) manual' + $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual' # Checking check-options: |