diff options
Diffstat (limited to 'doc/Makefile.am')
-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 97adffb..7a70925 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -28,5 +28,5 @@ include ../imprimatur/imprimatur.mk | |||
28 | CHECK_DOCS=$(top_srcdir)/@IMPRIMATUR_MODULE_DIR@/check-docs.sh | 28 | CHECK_DOCS=$(top_srcdir)/@IMPRIMATUR_MODULE_DIR@/check-docs.sh |
29 | 29 | ||
30 | GENDOCS=$(srcdir)/gendocs.sh | 30 | GENDOCS=$(srcdir)/gendocs.sh --no-copy-images --html '--init-file=$(abs_srcdir)/html.init' |
31 | EXTRA_DIST += gendocs.sh | 31 | EXTRA_DIST += gendocs.sh |
32 | 32 | ||
@@ -40,5 +40,5 @@ manual: | |||
40 | MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ | 40 | MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ |
41 | TEXI2DVI="$(TEXI2DVI) -t @finalout" \ | 41 | TEXI2DVI="$(TEXI2DVI) -t @finalout" \ |
42 | $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual' | 42 | $(GENDOCS) $(PACKAGE) '$(PACKAGE_NAME) manual' |
43 | 43 | ||
44 | 44 | ||