[Pkg-ocaml-maint-commits] [hevea] branch master updated (99f738b - 432d596)

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch master
in repository hevea.

  from  99f738b   debian/control: + testsuite
   new  49d4a83   Imported Upstream version 2.18
   new  7b1363b   Merge tag 'upstream/2.18'
   new  4794fb0   new upstream  2.18
   new  432d596   create links to bytes.ml{i} only before building

The 4 revisions listed above as new are entirely new to this
repository and will be described in separate emails.  The revisions
listed as adds were already present in the repository and have only
been added to this reference.


Summary of changes:
 CHANGES  |  6 
 Makefile |  7 ++--
 README   | 26 +++---
 _tags|  1 +
 bytes.mlip   | 10 ++
 bytes.mlp|  9 +
 check402.ml  |  6 
 counter.ml   |  2 +-
 cut.mll  |  2 +-
 debian/changelog |  9 +
 debian/patches/config-ocaml-4.02 | 52 +++
 debian/patches/series|  1 +
 doOut.ml | 42 +++---
 esp.ml   |  2 +-
 foot.ml  |  8 ++---
 handle402.sh |  8 +
 length.mll   |  2 +-
 lexstate.ml  | 10 +++---
 myLexing.ml  |  2 +-
 mysys.ml |  4 +--
 outUnicode.ml|  2 +-
 save.mll | 14 +---
 simpleRope.ml| 45 +++
 simpleRope.mli   |  2 +-
 table.ml |  4 +--
 tabular.mll  |  2 +-
 text.ml  | 77 
 ultra.ml | 16 -
 verb.mll |  4 +--
 version.ml   |  4 +--
 videoc.mll   |  2 ++
 31 files changed, 262 insertions(+), 119 deletions(-)
 create mode 100644 bytes.mlip
 create mode 100644 bytes.mlp
 create mode 100644 check402.ml
 create mode 100644 debian/patches/config-ocaml-4.02
 create mode 100644 handle402.sh

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea] 02/04: Merge tag 'upstream/2.18'

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository hevea.

commit 7b1363b72a6417db96f9f6f89e1e70e68cb4e06c
Merge: 99f738b 49d4a83
Author: Ralf Treinen trei...@free.fr
Date:   Mon Sep 29 08:37:16 2014 +0200

Merge tag 'upstream/2.18'

Upstream version 2.18

 CHANGES|  6 +
 Makefile   |  7 +++---
 README | 26 ++--
 _tags  |  1 +
 bytes.mlip | 10 
 bytes.mlp  |  9 +++
 check402.ml|  6 +
 counter.ml |  2 +-
 cut.mll|  2 +-
 doOut.ml   | 42 +---
 esp.ml |  2 +-
 foot.ml|  8 +++---
 handle402.sh   |  8 ++
 length.mll |  2 +-
 lexstate.ml| 10 
 myLexing.ml|  2 +-
 mysys.ml   |  4 +--
 outUnicode.ml  |  2 +-
 save.mll   | 14 ---
 simpleRope.ml  | 45 +-
 simpleRope.mli |  2 +-
 table.ml   |  4 +--
 tabular.mll|  2 +-
 text.ml| 77 +-
 ultra.ml   | 16 ++--
 verb.mll   |  4 +--
 version.ml |  4 +--
 videoc.mll |  2 ++
 28 files changed, 200 insertions(+), 119 deletions(-)

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


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

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository hevea.

commit 49d4a8356da89095d129133e7599509ec4306103
Author: Ralf Treinen trei...@free.fr
Date:   Mon Sep 29 08:37:15 2014 +0200

Imported Upstream version 2.18
---
 CHANGES|  6 +
 Makefile   |  7 +++---
 README | 26 ++--
 _tags  |  1 +
 bytes.mlip | 10 
 bytes.mlp  |  9 +++
 check402.ml|  6 +
 counter.ml |  2 +-
 cut.mll|  2 +-
 doOut.ml   | 42 +---
 esp.ml |  2 +-
 foot.ml|  8 +++---
 handle402.sh   |  8 ++
 length.mll |  2 +-
 lexstate.ml| 10 
 myLexing.ml|  2 +-
 mysys.ml   |  4 +--
 outUnicode.ml  |  2 +-
 save.mll   | 14 ---
 simpleRope.ml  | 45 +-
 simpleRope.mli |  2 +-
 table.ml   |  4 +--
 tabular.mll|  2 +-
 text.ml| 77 +-
 ultra.ml   | 16 ++--
 verb.mll   |  4 +--
 version.ml |  4 +--
 videoc.mll |  2 ++
 28 files changed, 200 insertions(+), 119 deletions(-)

diff --git a/CHANGES b/CHANGES
index bda4bff..78badd3 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,9 @@
+version 2.18
+ * Adapt to ocaml 4.02, use 'Bytes' module + backward compatibility
+   hack.
+ * Some patches by Damien: typos + illegal format strings.
+version 2.17
+ * Adapt to ocaml 4.02 (suppress a few 'Deprecated' warnings)
 version 2.16
  * Patchy: change fnsymbol from '%' to '$'
 version 2.15
diff --git a/Makefile b/Makefile
index b3fe4a8..0ee8e09 100644
--- a/Makefile
+++ b/Makefile
@@ -33,8 +33,9 @@ both: ocb-both
 
 include libs.def
 
-config.sh: Makefile libs.def
-   @(echo PGM=\$(PGM)\ \
+config.sh: Makefile libs.def handle402.sh
+   @( cat handle402.sh \
+   echo PGM=\$(PGM)\ \
echo PGMNATIVE=\$(PGMNATIVE)\ \
echo BINDIR=$(BINDIR) \
echo LIBDIR=$(LIBDIR) \
@@ -44,7 +45,7 @@ config.sh: Makefile libs.def
echo ALLLIB=\$(ALLLIB)\  \
echo HTMLLIB=\$(HTMLLIB)\  \
echo TEXTLIB=\$(TEXTLIB)\  \
-   echo INFOLIB=\$(INFOLIB)\ )  $@
+   echo INFOLIB=\$(INFOLIB)\)  $@
 
 clean:: config.sh
sh ocb.sh clean  rm config.sh
diff --git a/README b/README
index bd54cf0..c115c46 100644
--- a/README
+++ b/README
@@ -1,4 +1,4 @@
-This is HEVEA, version 2.16, a fast Latex to HTML translator.
+This is HEVEA, version 2.18, a fast Latex to HTML translator.
 
 
 ADVERTISEMENT
@@ -15,7 +15,7 @@ ADVERTISEMENT
 files are understood with little or no modifications.
 Furthermore, HEVEA customization is done by writing LaTeX code.
 
-HEVEA is written in Objective Caml, as many lexers. It is quite fast
+HEVEA is written in OCaml, as many lexers. It is quite fast
 and flexible. Using HEVEA it is possible to translate large documents
 such as manuals, books, etc. very quickly. All documents are
 translated as one single HTML file. Then, the output file can be cut
@@ -45,10 +45,10 @@ DISTRIBUTION
 
 REQUIREMENTS
  HEVEA is written in Objective Caml version 3.12 or later
- (Ocaml). It compiles under Ocaml, which should thus be properly
+ (OCaml). It compiles under OCaml, which should thus be properly
  installed.
 
- More information on Ocaml can be found at
+ More information on OCaml can be found at
http://caml.inria.fr/ocaml/
 
  However there exists binary distributions of HEVEA for PCs
@@ -68,16 +68,16 @@ REQUIREMENTS
 INSTALLATION FROM THE SOURCE DISTRIBUTION
 
   Download the source distribution
-http://hevea.inria.fr/distri/hevea-2.09.tar.gz
+http://hevea.inria.fr/distri/hevea-2.18.tar.gz
 
   Unzip,
-gunzip hevea-2.09.tar.gz
+gunzip hevea-2.18.tar.gz
 
   Untar,
-tar xf  hevea-2.09.tar
+tar xf  hevea-2.18.tar
 
   Go to the source directory
-cd hevea-2.09
+cd hevea-2.18
 
 CONFIGURATION
 There are a few configuration variables at the beginning of
@@ -85,14 +85,14 @@ CONFIGURATION
  * TARGET
 
   TARGET=opt makes hevea compile under ocamlopt, the
-  Objective Caml compiler that produces native code. This is
+  OCaml compiler that produces native code. This is
   the default.
 
   TARGET=byte makes hevea compile under ocamlc, the
-  Objective Caml compiler that produces bytecode.
+  OCaml compiler that produces bytecode.
 
-  Using opt, hevea is about three times as fast than
-  using byte. However, some Ocaml installations may only
+  Using opt, hevea is about three times faster than
+  using byte. However, some OCaml installations may only
   provide ocamlc.
 
  * LIBDIR is the library directory of hevea, that contains
@@ -127,5 +127,5 @@ MAKE
 IN CASE OF TROUBLE.
 
   - You do need version 3.12 (or newer) of the Objective Caml System.
-Older versions of OCaml cannot 

[Pkg-ocaml-maint-commits] [hevea] 04/04: create links to bytes.ml{i} only before building

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository hevea.

commit 432d596aedc25c5004fc5b2aaf5850cde4d8f21e
Author: Ralf Treinen trei...@free.fr
Date:   Sun Oct 5 20:55:31 2014 +0200

create links to bytes.ml{i} only before building
---
 debian/changelog |  5 +++-
 debian/patches/config-ocaml-4.02 | 52 
 debian/patches/series|  1 +
 3 files changed, 57 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 2d996a4..fd1ee5f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,11 @@
 hevea (2.18-1) unstable; urgency=medium
 
   * New upstream version.
+  * patch config-ocaml-4.02: create symlinks to bytes.ml{i} in a separate
+script invoked by ocb.sh, instead by config.sh which is invoked by the
+clean target of the Makefile.
 
- -- Ralf Treinen trei...@debian.org  Mon, 29 Sep 2014 08:42:37 +0200
+ -- Ralf Treinen trei...@debian.org  Sun, 05 Oct 2014 20:53:22 +0200
 
 hevea (2.16-2) unstable; urgency=medium
 
diff --git a/debian/patches/config-ocaml-4.02 b/debian/patches/config-ocaml-4.02
new file mode 100644
index 000..a2a12a6
--- /dev/null
+++ b/debian/patches/config-ocaml-4.02
@@ -0,0 +1,52 @@
+Author: Ralf Treinen trei...@debian.org
+Description: create symlinks to bytes.ml{i} in a separate script invoked
+by ocb.sh, instead by config.sh which is invoked by the clean
+target of the Makefile
+
+Index: hevea/handle402.sh
+===
+--- hevea.orig/handle402.sh2014-10-05 20:47:59.686435685 +0200
 hevea/handle402.sh 2014-10-05 20:47:59.686435685 +0200
+@@ -3,6 +3,6 @@
+ if [ $(ocaml $DIR/check402.ml) = ok ]; then
+ rm -f $DIR/bytes.ml $DIR/bytes.mli
+ else
+-cp $DIR/bytes.mlp $DIR/bytes.ml
+-cp $DIR/bytes.mlip $DIR/bytes.mli
++ln -s $DIR/bytes.mlp $DIR/bytes.ml
++ln -s $DIR/bytes.mlip $DIR/bytes.mli
+ fi
+Index: hevea/Makefile
+===
+--- hevea.orig/Makefile2014-10-05 20:47:59.686435685 +0200
 hevea/Makefile 2014-10-05 20:47:59.686435685 +0200
+@@ -34,7 +34,7 @@
+ include libs.def
+ 
+ config.sh: Makefile libs.def handle402.sh
+-  @( cat handle402.sh \
++  @(\
+   echo PGM=\$(PGM)\ \
+   echo PGMNATIVE=\$(PGMNATIVE)\ \
+   echo BINDIR=$(BINDIR) \
+@@ -48,7 +48,7 @@
+   echo INFOLIB=\$(INFOLIB)\)  $@
+ 
+ clean:: config.sh
+-  sh ocb.sh clean  rm config.sh
++  sh ocb.sh clean  rm -f config.sh bytes.ml bytes.mli 
+ 
+ ocb-byte: config.sh
+   sh ocb.sh byte
+Index: hevea/ocb.sh
+===
+--- hevea.orig/ocb.sh  2014-10-05 20:48:59.978436661 +0200
 hevea/ocb.sh   2014-10-05 20:49:32.202437182 +0200
+@@ -1,6 +1,7 @@
+ #!/bin/sh -e
+ 
+ . ./config.sh
++. ./handle402.sh
+ 
+ OCBOCAMLFLAGS=''
+ for i in $OCAMLFLAGS
diff --git a/debian/patches/series b/debian/patches/series
index e69de29..e04b9ec 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -0,0 +1 @@
+config-ocaml-4.02

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea] 03/04: new upstream 2.18

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository hevea.

commit 4794fb0882a448167323ad811ed1c6d310ee33ee
Author: Ralf Treinen trei...@free.fr
Date:   Mon Sep 29 08:43:21 2014 +0200

new upstream  2.18
---
 debian/changelog | 6 ++
 1 file changed, 6 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index a595915..2d996a4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+hevea (2.18-1) unstable; urgency=medium
+
+  * New upstream version.
+
+ -- Ralf Treinen trei...@debian.org  Mon, 29 Sep 2014 08:42:37 +0200
+
 hevea (2.16-2) unstable; urgency=medium
 
   * debian/control: add XS-Testsuite

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea] annotated tag upstream/2.18 created (now be44f93)

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to annotated tag upstream/2.18
in repository hevea.

at  be44f93   (tag)
   tagging  49d4a8356da89095d129133e7599509ec4306103 (commit)
  replaces  upstream/2.16
 tagged by  Ralf Treinen
on  Mon Sep 29 08:37:16 2014 +0200

- Log -
Upstream version 2.18

Ralf Treinen (1):
  Imported Upstream version 2.18

---

No new revisions were added by this update.

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea] branch upstream updated (4c425e1 - 49d4a83)

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch upstream
in repository hevea.

  from  4c425e1   Imported Upstream version 2.16
  adds  49d4a83   Imported Upstream version 2.18

No new revisions were added by this update.

Summary of changes:
 CHANGES|  6 +
 Makefile   |  7 +++---
 README | 26 ++--
 _tags  |  1 +
 bytes.mlip | 10 
 bytes.mlp  |  9 +++
 check402.ml|  6 +
 counter.ml |  2 +-
 cut.mll|  2 +-
 doOut.ml   | 42 +---
 esp.ml |  2 +-
 foot.ml|  8 +++---
 handle402.sh   |  8 ++
 length.mll |  2 +-
 lexstate.ml| 10 
 myLexing.ml|  2 +-
 mysys.ml   |  4 +--
 outUnicode.ml  |  2 +-
 save.mll   | 14 ---
 simpleRope.ml  | 45 +-
 simpleRope.mli |  2 +-
 table.ml   |  4 +--
 tabular.mll|  2 +-
 text.ml| 77 +-
 ultra.ml   | 16 ++--
 verb.mll   |  4 +--
 version.ml |  4 +--
 videoc.mll |  2 ++
 28 files changed, 200 insertions(+), 119 deletions(-)
 create mode 100644 bytes.mlip
 create mode 100644 bytes.mlp
 create mode 100644 check402.ml
 create mode 100644 handle402.sh

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea] 01/01: pristine-tar data for hevea_2.18.orig.tar.gz

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch pristine-tar
in repository hevea.

commit 3997ae42563341cabd2c23631aa739df66309a97
Author: Ralf Treinen trei...@free.fr
Date:   Mon Sep 29 08:37:16 2014 +0200

pristine-tar data for hevea_2.18.orig.tar.gz
---
 hevea_2.18.orig.tar.gz.delta | Bin 0 - 9402 bytes
 hevea_2.18.orig.tar.gz.id|   1 +
 2 files changed, 1 insertion(+)

diff --git a/hevea_2.18.orig.tar.gz.delta b/hevea_2.18.orig.tar.gz.delta
new file mode 100644
index 000..39f7a5c
Binary files /dev/null and b/hevea_2.18.orig.tar.gz.delta differ
diff --git a/hevea_2.18.orig.tar.gz.id b/hevea_2.18.orig.tar.gz.id
new file mode 100644
index 000..18f48d7
--- /dev/null
+++ b/hevea_2.18.orig.tar.gz.id
@@ -0,0 +1 @@
+5c04077a26e4786a95c8c7c5d72f3e51cc6a41bd

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea] branch pristine-tar updated (5761f28 - 3997ae4)

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch pristine-tar
in repository hevea.

  from  5761f28   pristine-tar data for hevea_2.16.orig.tar.gz
   new  3997ae4   pristine-tar data for hevea_2.18.orig.tar.gz

The 1 revisions listed above as new are entirely new to this
repository and will be described in separate emails.  The revisions
listed as adds were already present in the repository and have only
been added to this reference.


Summary of changes:
 hevea_2.18.orig.tar.gz.delta | Bin 0 - 9402 bytes
 hevea_2.18.orig.tar.gz.id|   1 +
 2 files changed, 1 insertion(+)
 create mode 100644 hevea_2.18.orig.tar.gz.delta
 create mode 100644 hevea_2.18.orig.tar.gz.id

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea] annotated tag debian/2.18-1 created (now 0a58072)

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

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

at  0a58072   (tag)
   tagging  432d596aedc25c5004fc5b2aaf5850cde4d8f21e (commit)
  replaces  debian/2.16-2
 tagged by  Ralf Treinen
on  Sun Oct 5 21:03:22 2014 +0200

- Log -
hevea Debian release 2.18-1

Ralf Treinen (4):
  Imported Upstream version 2.18
  Merge tag 'upstream/2.18'
  new upstream  2.18
  create links to bytes.ml{i} only before building

---

No new revisions were added by this update.

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea-doc] annotated tag upstream/2.18 created (now 0871143)

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to annotated tag upstream/2.18
in repository hevea-doc.

at  0871143   (tag)
   tagging  f1133cfb659f01bdab05c5b5dc12392d94a417a2 (commit)
  replaces  upstream/2.16
 tagged by  Ralf Treinen
on  Sun Oct 5 21:14:27 2014 +0200

- Log -
Upstream version 2.18

Ralf Treinen (1):
  Imported Upstream version 2.18

---

This annotated tag includes the following new commits:

   new  f1133cf   Imported Upstream version 2.18

The 1 revisions listed above as new are entirely new to this
repository and will be described in separate emails.  The revisions
listed as adds were already present in the repository and have only
been added to this reference.


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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea-doc] 02/03: Merge tag 'upstream/2.18'

2014-10-05 Thread Ralf Treinen
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 8ab79125aa82430ab437b2a437c6a29482a68e85
Merge: 9aa4756 f1133cf
Author: Ralf Treinen trei...@free.fr
Date:   Sun Oct 5 21:14:28 2014 +0200

Merge tag 'upstream/2.18'

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(-)

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea-doc] 01/01: pristine-tar data for hevea-doc_2.18.orig.tar.gz

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch pristine-tar
in repository hevea-doc.

commit cfa2d9e7ab7898c507e2eb688a1f6d3ac2052606
Author: Ralf Treinen trei...@free.fr
Date:   Sun Oct 5 21:14:27 2014 +0200

pristine-tar data for hevea-doc_2.18.orig.tar.gz
---
 hevea-doc_2.18.orig.tar.gz.delta | Bin 0 - 3127 bytes
 hevea-doc_2.18.orig.tar.gz.id|   1 +
 2 files changed, 1 insertion(+)

diff --git a/hevea-doc_2.18.orig.tar.gz.delta b/hevea-doc_2.18.orig.tar.gz.delta
new file mode 100644
index 000..27d7d11
Binary files /dev/null and b/hevea-doc_2.18.orig.tar.gz.delta differ
diff --git a/hevea-doc_2.18.orig.tar.gz.id b/hevea-doc_2.18.orig.tar.gz.id
new file mode 100644
index 000..5aaf085
--- /dev/null
+++ b/hevea-doc_2.18.orig.tar.gz.id
@@ -0,0 +1 @@
+29d0d3b84f69b3821e4d91c5c8cdf6dc757d707e

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


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

2014-10-05 Thread Ralf Treinen
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 trei...@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 Marangetlink rel=stylesheet 
type=text/css href=manual.css
 titleBrowser 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 Marangetlink rel=stylesheet 
type=text/css href=manual.css
 titleCutting 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
 titleHEVEA 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=titletrtd style=padding:1exh1 class=titlemainHspan 
class=c015supE/sup/spanVspan class=c015supE/sup/spanA User 
Documentationbr
-Version#XA0;2.16/h1h3 class=titlerestLuc Marangetsupa id=text1 
href=#note1*/a/sup/h3h3 class=titlerestJune#XA0;9, 
2014/h3/td/tr
+Version#XA0;2.18/h1h3 class=titlerestLuc Marangetsupa id=text1 
href=#note1*/a/sup/h3h3 class=titlerestSeptember#XA0;9, 
2014/h3/td/tr
 /tablehrp
 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 

[Pkg-ocaml-maint-commits] [hevea-doc] branch upstream updated (cebdc66 - f1133cf)

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch upstream
in repository hevea-doc.

  from  cebdc66   Imported Upstream version 2.16
  adds  f1133cf   Imported Upstream version 2.18

No new revisions were added by this update.

Summary of changes:
 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(-)

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea-doc] branch pristine-tar updated (5841feb - cfa2d9e)

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch pristine-tar
in repository hevea-doc.

  from  5841feb   pristine-tar data for hevea-doc_2.16.orig.tar.gz
   new  cfa2d9e   pristine-tar data for hevea-doc_2.18.orig.tar.gz

The 1 revisions listed above as new are entirely new to this
repository and will be described in separate emails.  The revisions
listed as adds were already present in the repository and have only
been added to this reference.


Summary of changes:
 hevea-doc_2.18.orig.tar.gz.delta | Bin 0 - 3127 bytes
 hevea-doc_2.18.orig.tar.gz.id|   1 +
 2 files changed, 1 insertion(+)
 create mode 100644 hevea-doc_2.18.orig.tar.gz.delta
 create mode 100644 hevea-doc_2.18.orig.tar.gz.id

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea-doc] 03/03: new upstream 2.18

2014-10-05 Thread Ralf Treinen
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 da2c484196bb6eae4e09295ac24096bfa6e0294d
Author: Ralf Treinen trei...@free.fr
Date:   Sun Oct 5 21:15:15 2014 +0200

new upstream 2.18
---
 debian/changelog | 6 ++
 1 file changed, 6 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 4a8f492..5877de0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+hevea-doc (2.18-1) unstable; urgency=low
+
+  * New upstream version.
+
+ -- Ralf Treinen trei...@debian.org  Sun, 05 Oct 2014 21:14:49 +0200
+
 hevea-doc (2.16-1) unstable; urgency=medium
 
   * New upstream version.

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits


[Pkg-ocaml-maint-commits] [hevea-doc] annotated tag debian/2.18-1 created (now 09b19de)

2014-10-05 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script.

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

at  09b19de   (tag)
   tagging  da2c484196bb6eae4e09295ac24096bfa6e0294d (commit)
  replaces  debian/2.16-1
 tagged by  Ralf Treinen
on  Sun Oct 5 21:18:28 2014 +0200

- Log -
hevea-doc Debian release 2.18-1

Ralf Treinen (3):
  Imported Upstream version 2.18
  Merge tag 'upstream/2.18'
  new upstream 2.18

---

This annotated tag includes the following new commits:

   new  f1133cf   Imported Upstream version 2.18
   new  8ab7912   Merge tag 'upstream/2.18'
   new  da2c484   new upstream 2.18

The 3 revisions listed above as new are entirely new to this
repository and will be described in separate emails.  The revisions
listed as adds were already present in the repository and have only
been added to this reference.


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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits