[Pkg-ocaml-maint-commits] [hevea-doc] 01/03: Imported Upstream version 2.18

Ralf Treinen treinen at moszumanska.debian.org
Sun Oct 5 19:18:47 UTC 2014


This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to annotated tag debian/2.18-1
in repository hevea-doc.

commit f1133cfb659f01bdab05c5b5dc12392d94a417a2
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Oct 5 21:14:27 2014 +0200

    Imported Upstream version 2.18
---
 browser.html         |   2 +-
 cutname.html         |   2 +-
 index.html           |  12 ++++++------
 manual-packages.html |   2 +-
 manual.html          |  24 ++++++++++++------------
 manual001.html       |   2 +-
 manual001.png        | Bin 3167 -> 3167 bytes
 manual002.html       |   2 +-
 manual002.png        | Bin 3390 -> 3390 bytes
 manual003.html       |   2 +-
 manual003.png        | Bin 2864 -> 2864 bytes
 manual004.html       |   2 +-
 manual004.png        | Bin 5422 -> 5422 bytes
 manual005.html       |   2 +-
 manual005.png        | Bin 2628 -> 2628 bytes
 manual006.html       |   2 +-
 manual006.png        | Bin 9132 -> 9132 bytes
 manual007.html       |   2 +-
 manual007.png        | Bin 3440 -> 3440 bytes
 manual008.html       |   2 +-
 manual008.png        | Bin 3233 -> 3233 bytes
 manual009.png        | Bin 5288 -> 5288 bytes
 manual010.html       |   2 +-
 manual010.png        | Bin 7084 -> 7084 bytes
 manual011.html       |   2 +-
 manual011.png        | Bin 9132 -> 9132 bytes
 manual012.html       |   2 +-
 manual013.html       |   2 +-
 manual014.html       |   2 +-
 manual015.html       |   2 +-
 manual016.html       |   2 +-
 manual017.html       |   2 +-
 manual018.html       |   2 +-
 manual019.html       |   2 +-
 manual020.html       |   2 +-
 manual021.html       |   2 +-
 manual022.html       |   2 +-
 manual023.html       |   2 +-
 manual024.html       |   2 +-
 manual025.html       |   2 +-
 manual027.html       |   2 +-
 manual028.html       |   2 +-
 manual029.html       |   2 +-
 manual030.html       |   2 +-
 manual031.html       |   2 +-
 manual032.html       |   2 +-
 manual033.html       |   2 +-
 manual034.html       |   2 +-
 manual035.html       |   2 +-
 manual036.html       |   2 +-
 manual037.html       |   2 +-
 manual038.html       |  14 +++++++-------
 manual040.html       |   2 +-
 manual041.html       |   2 +-
 manual043.html       |   2 +-
 manual044.html       |   2 +-
 manual045.html       |   2 +-
 manual046.html       |   2 +-
 manual047.html       |   2 +-
 manual048.html       |   2 +-
 sectioning.html      |   2 +-
 thaihevea.html       |   2 +-
 thaihevea001.png     | Bin 207645 -> 207645 bytes
 63 files changed, 73 insertions(+), 73 deletions(-)

diff --git a/browser.html b/browser.html
index 758dd9f..cbfebdd 100644
--- a/browser.html
+++ b/browser.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Browser configuration</title>
 </head>
diff --git a/cutname.html b/cutname.html
index c62b9bc..ac5567e 100644
--- a/cutname.html
+++ b/cutname.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Cutting your document into pieces with HACHA</title>
 </head>
diff --git a/index.html b/index.html
index 0a1760d..98e34cd 100644
--- a/index.html
+++ b/index.html
@@ -2,10 +2,10 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget">
 <title>HEVEA User Documentation 
-Version&#XA0;2.16
+Version&#XA0;2.18
 </title>
 <link rel="stylesheet" type="text/css" href="manual.css">
 </head>
@@ -13,12 +13,12 @@ Version&#XA0;2.16
 <!--HEVEA command line is: ../hevea.opt -fix -exec xxdate.exe -O -o doc/manual.html manual.hva manual.tex -->
 <!--HACHA command line is: ../hacha.opt -tocbis -o doc/index.html doc/manual.html -->
 <table class="title"><tr><td style="padding:1ex"><h1 class="titlemain">H<span class="c015"><sup>E</sup></span>V<span class="c015"><sup>E</sup></span>A User Documentation<br>
-Version&#XA0;2.16</h1><h3 class="titlerest">Luc Maranget<sup><a id="text1" href="#note1">*</a></sup></h3><h3 class="titlerest">June&#XA0;9, 2014</h3></td></tr>
+Version&#XA0;2.18</h1><h3 class="titlerest">Luc Maranget<sup><a id="text1" href="#note1">*</a></sup></h3><h3 class="titlerest">September&#XA0;9, 2014</h3></td></tr>
 </table><hr><p>
 This manual also exists in
-<a href="http://hevea.inria.fr/distri/hevea-2.16-manual.ps.gz">compressed Postscript</a>,
-<a href="http://hevea.inria.fr/distri/hevea-2.16-manual.pdf">PDF</a>, and as
-a <a href="http://hevea.inria.fr/distri/hevea-2.16-manual.tar.gz">bundle of HTML files</a>.
+<a href="http://hevea.inria.fr/distri/hevea-2.18-manual.ps.gz">compressed Postscript</a>,
+<a href="http://hevea.inria.fr/distri/hevea-2.18-manual.pdf">PDF</a>, and as
+a <a href="http://hevea.inria.fr/distri/hevea-2.18-manual.tar.gz">bundle of HTML files</a>.
 </p><hr><blockquote class="abstract"><span class="c022">Abstract: </span>
 H<span class="c015"><sup>E</sup></span>V<span class="c015"><sup>E</sup></span>A is a L<sup>A</sup>T<sub>E</sub>X to
 html translator.
diff --git a/manual-packages.html b/manual-packages.html
index 48f5f11..14d1822 100644
--- a/manual-packages.html
+++ b/manual-packages.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Implemented Packages</title>
 </head>
diff --git a/manual.html b/manual.html
index 99bfd17..f15a516 100644
--- a/manual.html
+++ b/manual.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <style type="text/css">
 .c000{background-color:green;height:3px}
 .c001{border-spacing:0;}
@@ -131,19 +131,19 @@ a:hover{color:black;text-decoration:none;background-color:#99FF99}
 </style>
 <meta name="Author" content="Luc Maranget">
 <title>HEVEA User Documentation 
-Version&#XA0;2.16
+Version&#XA0;2.18
 </title>
 </head>
 <body>
 <!--HEVEA command line is: ../hevea.opt -fix -exec xxdate.exe -O -o doc/manual.html manual.hva manual.tex -->
 <!--CUT STYLE article--><!--SETENV <arg PREVTXT><img src="previous_motif.gif" alt="Previous"></arg><arg UPTXT><img src="contents_motif.gif" alt="Up"></arg><arg NEXTTXT><img src="next_motif.gif" alt="Next"></arg>-->
 <!--CUT DEF part 1 --><table class="title"><tr><td style="padding:1ex"><h1 class="titlemain">H<span class="c015"><sup>E</sup></span>V<span class="c015"><sup>E</sup></span>A User Documentation<br>
-Version&#XA0;2.16</h1><h3 class="titlerest">Luc Maranget<sup><a id="text1" href="#note1">*</a></sup></h3><h3 class="titlerest">June&#XA0;9, 2014</h3></td></tr>
+Version&#XA0;2.18</h1><h3 class="titlerest">Luc Maranget<sup><a id="text1" href="#note1">*</a></sup></h3><h3 class="titlerest">September&#XA0;9, 2014</h3></td></tr>
 </table><hr><p>
 This manual also exists in
-<a href="http://hevea.inria.fr/distri/hevea-2.16-manual.ps.gz">compressed Postscript</a>,
-<a href="http://hevea.inria.fr/distri/hevea-2.16-manual.pdf">PDF</a>, and as
-a <a href="http://hevea.inria.fr/distri/hevea-2.16-manual.tar.gz">bundle of HTML files</a>.
+<a href="http://hevea.inria.fr/distri/hevea-2.18-manual.ps.gz">compressed Postscript</a>,
+<a href="http://hevea.inria.fr/distri/hevea-2.18-manual.pdf">PDF</a>, and as
+a <a href="http://hevea.inria.fr/distri/hevea-2.18-manual.tar.gz">bundle of HTML files</a>.
 </p><hr><blockquote class="abstract"><span class="c022">Abstract: </span>
 H<span class="c015"><sup>E</sup></span>V<span class="c015"><sup>E</sup></span>A is a L<sup>A</sup>T<sub>E</sub>X to
 html translator.
@@ -5049,20 +5049,20 @@ Additionally the following counters and commands are defined:
 </p><div class="center">
 <table class="c002 cellpading0"><tr><td class="hbar" colspan=3></td></tr>
 <tr><td class="c041">Counter <span class="c013">weekday</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">day of week, 0&#X2026;6
-(e.g. 1)</td></tr>
+(e.g. 2)</td></tr>
 <tr><td class="c041">Counter <span class="c013">Hour</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">hour, 00&#X2026;11
-(e.g. 08)</td></tr>
-<tr><td class="c041">Counter <span class="c013">hour</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">hour, 00&#X2026;23 (e.g. 20)</td></tr>
+(e.g. 04)</td></tr>
+<tr><td class="c041">Counter <span class="c013">hour</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">hour, 00&#X2026;23 (e.g. 16)</td></tr>
 <tr><td class="c041">Counter <span class="c013">minute</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">minute, 00&#X2026;59
-(e.g. 16)</td></tr>
-<tr><td class="c041">Counter <span class="c013">second</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">second, 00&#X2026;61<sup><a id="text9" href="#note9">8</a></sup>(e.g. 02)</td></tr>
+(e.g. 10)</td></tr>
+<tr><td class="c041">Counter <span class="c013">second</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">second, 00&#X2026;61<sup><a id="text9" href="#note9">8</a></sup>(e.g. 08)</td></tr>
 <tr><td class="hbar" colspan=3></td></tr>
 <tr><td class="c041">Command <code>\ampm</code></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">AM or PM
 (e.g. PM)</td></tr>
 <tr><td class="c041">Command <code>\timezone</code></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">Time zone
 (e.g. CEST)</td></tr>
 <tr><td class="c041">Command <code>\heveadate</code></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">Output of the <span class="c013">date</span> Unix
-command, (e.g. Mon Jun 9 20:16:02 CEST 2014)</td></tr>
+command, (e.g. Tue Sep 9 16:10:08 CEST 2014)</td></tr>
 <tr><td class="hbar" colspan=3></td></tr>
 </table>
 </div><p>Note that I chose to add an extra option (and not an extra
diff --git a/manual001.html b/manual001.html
index 28dd625..650766b 100644
--- a/manual001.html
+++ b/manual001.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Contents</title>
 </head>
diff --git a/manual001.png b/manual001.png
index 09ee291..215e123 100644
Binary files a/manual001.png and b/manual001.png differ
diff --git a/manual002.html b/manual002.html
index 5b52eb8..78cf8b5 100644
--- a/manual002.html
+++ b/manual002.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Tutorial</title>
 </head>
diff --git a/manual002.png b/manual002.png
index 68e521f..910d27a 100644
Binary files a/manual002.png and b/manual002.png differ
diff --git a/manual003.html b/manual003.html
index 7fe67bf..efbe338 100644
--- a/manual003.html
+++ b/manual003.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>How to get started</title>
 </head>
diff --git a/manual003.png b/manual003.png
index 6232d05..6146465 100644
Binary files a/manual003.png and b/manual003.png differ
diff --git a/manual004.html b/manual004.html
index 8175bc9..43c0e30 100644
--- a/manual004.html
+++ b/manual004.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Style files</title>
 </head>
diff --git a/manual004.png b/manual004.png
index 4309ca6..e16bb7d 100644
Binary files a/manual004.png and b/manual004.png differ
diff --git a/manual005.html b/manual005.html
index 6f04e77..61014a1 100644
--- a/manual005.html
+++ b/manual005.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>A note on style</title>
 </head>
diff --git a/manual005.png b/manual005.png
index 98d1282..4f72711 100644
Binary files a/manual005.png and b/manual005.png differ
diff --git a/manual006.html b/manual006.html
index a64ed11..a7bf14d 100644
--- a/manual006.html
+++ b/manual006.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>How to detect and correct errors</title>
 </head>
diff --git a/manual006.png b/manual006.png
index cd4705d..60d845f 100644
Binary files a/manual006.png and b/manual006.png differ
diff --git a/manual007.html b/manual007.html
index f3c182e..dca2195 100644
--- a/manual007.html
+++ b/manual007.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Making HEVEA and LATEX both happy</title>
 </head>
diff --git a/manual007.png b/manual007.png
index 65c8c46..e7c784d 100644
Binary files a/manual007.png and b/manual007.png differ
diff --git a/manual008.html b/manual008.html
index abadd60..9ef1c8a 100644
--- a/manual008.html
+++ b/manual008.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>With a little help from LATEX</title>
 </head>
diff --git a/manual008.png b/manual008.png
index 08e5224..bedaff1 100644
Binary files a/manual008.png and b/manual008.png differ
diff --git a/manual009.png b/manual009.png
index 02faf7e..9aa9a5b 100644
Binary files a/manual009.png and b/manual009.png differ
diff --git a/manual010.html b/manual010.html
index 4fe2c30..a277616 100644
--- a/manual010.html
+++ b/manual010.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Answers</title>
 </head>
diff --git a/manual010.png b/manual010.png
index fbd453a..0428d3f 100644
Binary files a/manual010.png and b/manual010.png differ
diff --git a/manual011.html b/manual011.html
index 2d829d8..9645c5e 100644
--- a/manual011.html
+++ b/manual011.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>A cut subsubsection</title>
 </head>
diff --git a/manual011.png b/manual011.png
index 21ee73f..7e484dd 100644
Binary files a/manual011.png and b/manual011.png differ
diff --git a/manual012.html b/manual012.html
index ed3aac4..be44336 100644
--- a/manual012.html
+++ b/manual012.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Another cut subsubsection</title>
 </head>
diff --git a/manual013.html b/manual013.html
index c199d88..dfb1dda 100644
--- a/manual013.html
+++ b/manual013.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>A cut subsubsection</title>
 </head>
diff --git a/manual014.html b/manual014.html
index ab80898..32b4241 100644
--- a/manual014.html
+++ b/manual014.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Another cut subsubsection</title>
 </head>
diff --git a/manual015.html b/manual015.html
index aeb2be0..41c11ef 100644
--- a/manual015.html
+++ b/manual015.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>A cut subsubsection</title>
 </head>
diff --git a/manual016.html b/manual016.html
index 90318ee..3212975 100644
--- a/manual016.html
+++ b/manual016.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Another cut subsubsection</title>
 </head>
diff --git a/manual017.html b/manual017.html
index 1eab69e..bb24cd6 100644
--- a/manual017.html
+++ b/manual017.html
@@ -3,7 +3,7 @@
 <head><title>Notes</title>
 
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 </head>
 <body>
diff --git a/manual018.html b/manual018.html
index eaab80f..dc971ab 100644
--- a/manual018.html
+++ b/manual018.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Generating html constructs</title>
 </head>
diff --git a/manual019.html b/manual019.html
index 128db15..ab16074 100644
--- a/manual019.html
+++ b/manual019.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Support for style sheets</title>
 </head>
diff --git a/manual020.html b/manual020.html
index 70c6170..20755f9 100644
--- a/manual020.html
+++ b/manual020.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Customising HEVEA</title>
 </head>
diff --git a/manual021.html b/manual021.html
index 660b322..190b399 100644
--- a/manual021.html
+++ b/manual021.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Other output formats</title>
 </head>
diff --git a/manual022.html b/manual022.html
index 8c725ed..27de77b 100644
--- a/manual022.html
+++ b/manual022.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Reference manual</title>
 </head>
diff --git a/manual023.html b/manual023.html
index 3f9832a..a13b770 100644
--- a/manual023.html
+++ b/manual023.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Commands and Environments</title>
 </head>
diff --git a/manual024.html b/manual024.html
index 679bcb4..11349f9 100644
--- a/manual024.html
+++ b/manual024.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>The Structure of the Document</title>
 </head>
diff --git a/manual025.html b/manual025.html
index a0a06d2..d337fad 100644
--- a/manual025.html
+++ b/manual025.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Sentences and Paragraphs</title>
 </head>
diff --git a/manual027.html b/manual027.html
index 7bc1bd7..ce4c100 100644
--- a/manual027.html
+++ b/manual027.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Classes, Packages and Page Styles</title>
 </head>
diff --git a/manual028.html b/manual028.html
index adb07e9..23e18a7 100644
--- a/manual028.html
+++ b/manual028.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Displayed Paragraphs</title>
 </head>
diff --git a/manual029.html b/manual029.html
index 6acb753..2f48135 100644
--- a/manual029.html
+++ b/manual029.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Mathematical Formulae</title>
 </head>
diff --git a/manual030.html b/manual030.html
index 012989b..be877e8 100644
--- a/manual030.html
+++ b/manual030.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Definitions, Numbering</title>
 </head>
diff --git a/manual031.html b/manual031.html
index db2cf7d..2283a6c 100644
--- a/manual031.html
+++ b/manual031.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Figures and Other Floating Bodies</title>
 </head>
diff --git a/manual032.html b/manual032.html
index 01b6550..30488b1 100644
--- a/manual032.html
+++ b/manual032.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Lining It Up in Columns</title>
 </head>
diff --git a/manual033.html b/manual033.html
index 388fc7b..c177b63 100644
--- a/manual033.html
+++ b/manual033.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Moving Information Around</title>
 </head>
diff --git a/manual034.html b/manual034.html
index b1ca59d..90d2d6d 100644
--- a/manual034.html
+++ b/manual034.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Line and Page Breaking</title>
 </head>
diff --git a/manual035.html b/manual035.html
index 9d1374a..9af1a57 100644
--- a/manual035.html
+++ b/manual035.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Lengths, Spaces and Boxes</title>
 </head>
diff --git a/manual036.html b/manual036.html
index 25047ed..adab963 100644
--- a/manual036.html
+++ b/manual036.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Pictures and Colours</title>
 </head>
diff --git a/manual037.html b/manual037.html
index e9e3819..0661764 100644
--- a/manual037.html
+++ b/manual037.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Font Selection</title>
 </head>
diff --git a/manual038.html b/manual038.html
index 4f667f7..c34bc97 100644
--- a/manual038.html
+++ b/manual038.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Extra Features</title>
 </head>
@@ -190,20 +190,20 @@ Additionally the following counters and commands are defined:
 </p><div class="center">
 <table class="c002 cellpading0"><tr><td class="hbar" colspan=3></td></tr>
 <tr><td class="c041">Counter <span class="c013">weekday</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">day of week, 0&#X2026;6
-(e.g. 1)</td></tr>
+(e.g. 2)</td></tr>
 <tr><td class="c041">Counter <span class="c013">Hour</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">hour, 00&#X2026;11
-(e.g. 08)</td></tr>
-<tr><td class="c041">Counter <span class="c013">hour</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">hour, 00&#X2026;23 (e.g. 20)</td></tr>
+(e.g. 04)</td></tr>
+<tr><td class="c041">Counter <span class="c013">hour</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">hour, 00&#X2026;23 (e.g. 16)</td></tr>
 <tr><td class="c041">Counter <span class="c013">minute</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">minute, 00&#X2026;59
-(e.g. 16)</td></tr>
-<tr><td class="c041">Counter <span class="c013">second</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">second, 00&#X2026;61<sup><a id="text9" href="#note9">8</a></sup>(e.g. 02)</td></tr>
+(e.g. 10)</td></tr>
+<tr><td class="c041">Counter <span class="c013">second</span></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">second, 00&#X2026;61<sup><a id="text9" href="#note9">8</a></sup>(e.g. 08)</td></tr>
 <tr><td class="hbar" colspan=3></td></tr>
 <tr><td class="c041">Command <code>\ampm</code></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">AM or PM
 (e.g. PM)</td></tr>
 <tr><td class="c041">Command <code>\timezone</code></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">Time zone
 (e.g. CEST)</td></tr>
 <tr><td class="c041">Command <code>\heveadate</code></td><td class="c029">&#XA0;&#XA0;</td><td class="c039">Output of the <span class="c013">date</span> Unix
-command, (e.g. Mon Jun 9 20:16:02 CEST 2014)</td></tr>
+command, (e.g. Tue Sep 9 16:10:08 CEST 2014)</td></tr>
 <tr><td class="hbar" colspan=3></td></tr>
 </table>
 </div><p>Note that I chose to add an extra option (and not an extra
diff --git a/manual040.html b/manual040.html
index e79b733..4bf2a13 100644
--- a/manual040.html
+++ b/manual040.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Practical information</title>
 </head>
diff --git a/manual041.html b/manual041.html
index 65b3d72..d389a9e 100644
--- a/manual041.html
+++ b/manual041.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Usage</title>
 </head>
diff --git a/manual043.html b/manual043.html
index ea0c8c1..c2223f2 100644
--- a/manual043.html
+++ b/manual043.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Availability</title>
 </head>
diff --git a/manual044.html b/manual044.html
index 03f0a8e..52f2bd2 100644
--- a/manual044.html
+++ b/manual044.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Installation</title>
 </head>
diff --git a/manual045.html b/manual045.html
index 4c92021..7f36701 100644
--- a/manual045.html
+++ b/manual045.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Other LATEX to html translators</title>
 </head>
diff --git a/manual046.html b/manual046.html
index 3c07d9c..ee0802c 100644
--- a/manual046.html
+++ b/manual046.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Acknowledgements</title>
 </head>
diff --git a/manual047.html b/manual047.html
index d47784b..f4ec236 100644
--- a/manual047.html
+++ b/manual047.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>References</title>
 </head>
diff --git a/manual048.html b/manual048.html
index 1734ee4..518e83d 100644
--- a/manual048.html
+++ b/manual048.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Index</title>
 </head>
diff --git a/sectioning.html b/sectioning.html
index a93cdc4..8a038c0 100644
--- a/sectioning.html
+++ b/sectioning.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <meta name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css">
 <title>Sectioning</title>
 </head>
diff --git a/thaihevea.html b/thaihevea.html
index cc8cdf1..ce8fe2d 100644
--- a/thaihevea.html
+++ b/thaihevea.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
-<meta name="generator" content="hevea 2.16">
+<meta name="generator" content="hevea 2.18">
 <style type="text/css">
 .c000{border-spacing:6px;border-collapse:separate;}
 .c001{font-size:small}
diff --git a/thaihevea001.png b/thaihevea001.png
index a34bed4..7d3fe00 100644
Binary files a/thaihevea001.png and b/thaihevea001.png differ

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hevea-doc.git



More information about the Pkg-ocaml-maint-commits mailing list