The following commit has been merged in the experimental/master branch:
commit 86e47f404302ca388c0069e8dcb867b93df2bf38
Author: Ralf Treinen <>
Date:   Thu Sep 6 21:50:58 2012 +0900

    update imagen manpage

diff --git a/debian/changelog b/debian/changelog
index 82ffe35..c1f55d9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -19,9 +19,13 @@ hevea (2.00-1) experimental; urgency=low
   * debian/manpages/hacha.1:
     - introduced subsections for different types of options
     - added options -rsz, -tocter, --help, -version.
-    - fixed a typo (htmlcut -> hacha) 
+    - fixed a typo (htmlcut -> hacha)
+  * debian/manpages/imagen.1
+    - dropped the paragraph on using a different default image format as
+      upstream, since it no longer applies.
+    - small improvements in description of options. 
- -- Ralf Treinen <>  Thu, 06 Sep 2012 20:39:45 +0900
+ -- Ralf Treinen <>  Thu, 06 Sep 2012 21:50:26 +0900
 hevea (1.10-14) unstable; urgency=low
diff --git a/debian/manpages/imagen.1 b/debian/manpages/imagen.1
index c424753..bdb2b15 100644
--- a/debian/manpages/imagen.1
+++ b/debian/manpages/imagen.1
@@ -16,22 +16,17 @@ images. Please consult the hevea manual for explanation how 
to use
 .I imagen
 in conjunction with hevea.
-The Debian version of HeVeA differs from the original HeVeA
-distribution in that pictures are by default generated in the png
-format instead of gif. To regain the original behavior you have to
-modify your LaTeX input (see \fBhevea (1)\fR) and invoke \fIimagen\fR
-with the \fI-gif\fR option.
 A summary of options are included below.
 .B \-png
-Produce images in the png format. On a Debian system this is the default.
+Produce images in the png format. This is the default.
 .B \-gif
 Produce images in gif format instead of png.
 .B \-pnm
-Produce images in pnm format.
+Produce images in pnm format instead of png.
 .B \-mag nnnn,
 Change the enlarging ratio that is applied while translating DVI into

hevea packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to