|
@@ -1,7 +1,7 @@
|
|
|
<?xml version="1.0" encoding="utf-8" ?>
|
|
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
|
|
|
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
|
|
|
-<!-- $Id: gendocs_template,v 1.2 2005/05/15 03:59:09 eggert Exp $ -->
|
|
|
+<!-- $Id: gendocs_template,v 1.3 2007/01/19 15:41:39 gray Exp $ -->
|
|
|
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
|
|
|
|
|
|
<head>
|
|
@@ -44,10 +44,10 @@ The manual for %%PACKAGE%% is available in the following formats:</p>
|
|
|
<li><a href="%%PACKAGE%%.html.gz">HTML compressed
|
|
|
(%%HTML_MONO_GZ_SIZE%%K gzipped characters)</a> - entirely on
|
|
|
one web page.</li>
|
|
|
- <li><a href="%%PACKAGE%%_html_node.tar.gz">HTML compressed
|
|
|
+ <li><a href="%%PACKAGE%%.html_node.tar.gz">HTML compressed
|
|
|
(%%HTML_NODE_TGZ_SIZE%%K gzipped tar file)</a> -
|
|
|
with one web page per node.</li>
|
|
|
- <li><a href="%%PACKAGE%%-info.tar.gz">Info document
|
|
|
+ <li><a href="%%PACKAGE%%.info.tar.gz">Info document
|
|
|
(%%INFO_TGZ_SIZE%%K characters gzipped tar file)</a>.</li>
|
|
|
<li><a href="%%PACKAGE%%.txt">ASCII text
|
|
|
(%%ASCII_SIZE%%K characters)</a>.</li>
|
|
@@ -99,7 +99,7 @@ permitted in any medium, provided this notice is preserved.
|
|
|
<p>
|
|
|
Updated:
|
|
|
<!-- timestamp start -->
|
|
|
-$Date: 2005/05/15 03:59:09 $ $Author: eggert $
|
|
|
+$Date: 2007/01/19 15:41:39 $ $Author: gray $
|
|
|
<!-- timestamp end -->
|
|
|
</p>
|
|
|
</div>
|