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 | ||