diff options
author | Sergey Poznyakoff <gray@gnu.org.ua> | 2015-04-23 18:49:24 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2015-04-23 18:49:36 +0300 |
commit | be26ab5bb2d721d6edef82226ac453e0431cbe44 (patch) | |
tree | 4f2f7df0d7c8cb456072f53673020f9682dcc6c2 /doc/Makefile.am | |
parent | dda0428f8cf94142dfe79bb6e2dc38ccc73ff0d6 (diff) | |
download | wydawca-be26ab5bb2d721d6edef82226ac453e0431cbe44.tar.gz wydawca-be26ab5bb2d721d6edef82226ac453e0431cbe44.tar.bz2 |
Fix doc generation.
Default Config file applied to all output formats, which is wrong.
Use a dedicated configuration file for html output formats, and
defaults for the rest.
* doc/Makefile.am (GENDOCS): Add html-specific configuration file.
* doc/Config: Rename to doc/html.init (with changes).
* doc/wydawca.texi: Fix cross-reference.
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 | ||