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 | |||
@@ -29,3 +29,3 @@ 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 |
@@ -41,3 +41,3 @@ manual: | |||
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 | ||