[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 2.16
+Version 2.18
</title>
<link rel="stylesheet" type="text/css" href="manual.css">
</head>
@@ -13,12 +13,12 @@ Version 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 2.16</h1><h3 class="titlerest">Luc Maranget<sup><a id="text1" href="#note1">*</a></sup></h3><h3 class="titlerest">June 9, 2014</h3></td></tr>
+Version 2.18</h1><h3 class="titlerest">Luc Maranget<sup><a id="text1" href="#note1">*</a></sup></h3><h3 class="titlerest">September 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 2.16
+Version 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 2.16</h1><h3 class="titlerest">Luc Maranget<sup><a id="text1" href="#note1">*</a></sup></h3><h3 class="titlerest">June 9, 2014</h3></td></tr>
+Version 2.18</h1><h3 class="titlerest">Luc Maranget<sup><a id="text1" href="#note1">*</a></sup></h3><h3 class="titlerest">September 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">  </td><td class="c039">day of week, 0…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">  </td><td class="c039">hour, 00…11
-(e.g. 08)</td></tr>
-<tr><td class="c041">Counter <span class="c013">hour</span></td><td class="c029">  </td><td class="c039">hour, 00…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">  </td><td class="c039">hour, 00…23 (e.g. 16)</td></tr>
<tr><td class="c041">Counter <span class="c013">minute</span></td><td class="c029">  </td><td class="c039">minute, 00…59
-(e.g. 16)</td></tr>
-<tr><td class="c041">Counter <span class="c013">second</span></td><td class="c029">  </td><td class="c039">second, 00…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">  </td><td class="c039">second, 00…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">  </td><td class="c039">AM or PM
(e.g. PM)</td></tr>
<tr><td class="c041">Command <code>\timezone</code></td><td class="c029">  </td><td class="c039">Time zone
(e.g. CEST)</td></tr>
<tr><td class="c041">Command <code>\heveadate</code></td><td class="c029">  </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">  </td><td class="c039">day of week, 0…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">  </td><td class="c039">hour, 00…11
-(e.g. 08)</td></tr>
-<tr><td class="c041">Counter <span class="c013">hour</span></td><td class="c029">  </td><td class="c039">hour, 00…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">  </td><td class="c039">hour, 00…23 (e.g. 16)</td></tr>
<tr><td class="c041">Counter <span class="c013">minute</span></td><td class="c029">  </td><td class="c039">minute, 00…59
-(e.g. 16)</td></tr>
-<tr><td class="c041">Counter <span class="c013">second</span></td><td class="c029">  </td><td class="c039">second, 00…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">  </td><td class="c039">second, 00…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">  </td><td class="c039">AM or PM
(e.g. PM)</td></tr>
<tr><td class="c041">Command <code>\timezone</code></td><td class="c029">  </td><td class="c039">Time zone
(e.g. CEST)</td></tr>
<tr><td class="c041">Command <code>\heveadate</code></td><td class="c029">  </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