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/wydawca.texi | |
| 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/wydawca.texi')
| -rw-r--r-- | doc/wydawca.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/wydawca.texi b/doc/wydawca.texi index 6a9a8c9..59289fb 100644 --- a/doc/wydawca.texi +++ b/doc/wydawca.texi | |||
| @@ -33,3 +33,3 @@ Boston, MA 02110-1301, USA | |||
| 33 | 33 | ||
| 34 | Copyright @copyright{} 2007, 2009-2013 Sergey Poznyakoff | 34 | Copyright @copyright{} 2007, 2009-2015 Sergey Poznyakoff |
| 35 | 35 | ||
| @@ -2787,5 +2787,6 @@ administrator (@dfn{owner}). | |||
| 2787 | the upload. Not to be confused with @samp{user:email}. | 2787 | the upload. Not to be confused with @samp{user:email}. |
| 2788 | @anchor{check-result} | ||
| 2788 | @kwindex check:result | 2789 | @kwindex check:result |
| 2789 | @item check:result @tab Code returned by external checker, in | 2790 | @item check:result @tab Code returned by external checker, in |
| 2790 | decimal. @xref{verification,,check:result}, for a detailed description. | 2791 | decimal. @xref{verification,,check-result}, for a detailed description. |
| 2791 | @kwindex check:diagn | 2792 | @kwindex check:diagn |