diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2015-03-01 21:26:42 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2015-03-01 21:29:32 +0200 |
commit | dda0428f8cf94142dfe79bb6e2dc38ccc73ff0d6 (patch) | |
tree | 3c71caaf7b4da49608a6c09767e267f35d3d28e0 /doc/gendocs_template | |
parent | cfdddef8393b7012db59fec4d01558189a4c2e99 (diff) | |
download | wydawca-dda0428f8cf94142dfe79bb6e2dc38ccc73ff0d6.tar.gz wydawca-dda0428f8cf94142dfe79bb6e2dc38ccc73ff0d6.tar.bz2 |
Switch to Texinfo 5.0
* doc/Config: Rewrite.
* doc/Makefile.am: Use Makeinfo 5 instead of texi2htm
* doc/gendocs_template: Ps is not built
* grecs: Upgrade.
* imprimatur: Upgrade.
Diffstat (limited to 'doc/gendocs_template')
-rw-r--r--[-rwxr-xr-x] | doc/gendocs_template | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/doc/gendocs_template b/doc/gendocs_template index 463dcdb..57d4589 100755..100644 --- a/doc/gendocs_template +++ b/doc/gendocs_template @@ -1,5 +1,5 @@ -<!--#include virtual="inc/pagehdr.html" --> -<!--#include virtual="inc/header.html" --> +<!--#include virtual="inc/pagehdr.html" --> +<!--#include virtual="inc/header.html" --> <ul class='tabs'> <li><a href="wydawca.html">Main</a></li> <li><a href="download.html">Downloads</a></li> @@ -10,7 +10,7 @@ <p>The manual for <b>%%PACKAGE%%</b> is available in the following formats:</p> <ul> - <li><a href="manual/%%PACKAGE%%.html">HTML + <li><a href="manual/%%PACKAGE%%.html">HTML (%%HTML_MONO_SIZE%%K bytes)</a> - entirely on one web page.</li> <li><a href="manual/html_node/index.html">HTML</a> - with one web page per node.</li> @@ -23,7 +23,7 @@ chapter.</li> %%ENDIF HTML_CHAPTER%% <li><a href="manual/%%PACKAGE%%.html.gz">HTML compressed - (%%HTML_MONO_GZ_SIZE%%K gzipped characters)</a> - entirely on + (%%HTML_MONO_GZ_SIZE%%K gzipped characters)</a> - entirely on one web page.</li> <li><a href="manual/%%PACKAGE%%.html_node.tar.gz">HTML compressed (%%HTML_NODE_TGZ_SIZE%%K gzipped tar file)</a> - @@ -46,8 +46,6 @@ (%%ASCII_GZ_SIZE%%K gzipped characters)</a>.</li> <li><a href="manual/%%PACKAGE%%.dvi.gz">TeX dvi file (%%DVI_GZ_SIZE%%K characters gzipped)</a>.</li> - <li><a href="manual/%%PACKAGE%%.ps.gz">PostScript file - (%%PS_GZ_SIZE%%K characters gzipped)</a>.</li> <li><a href="manual/%%PACKAGE%%.pdf">PDF file (%%PDF_SIZE%%K characters)</a>.</li> <li><a href="manual/%%PACKAGE%%.texi.tar.gz">Texinfo source |