[Pkg-ocaml-maint-commits] [SCM] hevea packaging branch, experimental/master, updated. debian/1.10-14-21-gc837b65

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit c837b6506050601ffeb4961ec79281bf7874c44b
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Sep 26 11:48:06 2012 +0200

    dropped README.Debian which is no longer needed
    
    since debian and upstream now agree on the default image format

diff --git a/debian/README.Debian b/debian/README.Debian
deleted file mode 100644
index ad92244..0000000
--- a/debian/README.Debian
+++ /dev/null
@@ -1,13 +0,0 @@
-Debian README for hevea
------------------------
-
-This version of HeVeA is patched to generate by default PNG picture
-files instead of GIF. The patch follows the instructions in Section 9.5
-of the HeVeA manual:
-
-- redefined \heveaimageext in latexcommon.hva
-- patched the imagen script to generate png by default
-
-See the man pages hevea(1) and imagen(1) for how to generate gif.
-
--- Ralf Treinen <treinen at debian.org>
diff --git a/debian/changelog b/debian/changelog
index acb4c28..7eb001d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -29,8 +29,11 @@ hevea (2.00-1) experimental; urgency=low
     - dropped the paragraph on using a different default image format as
       upstream, since it no longer applies.
     - small improvements in description of options. 
+  * debian/README.Debian
+    - dropped this file, it no longer applies since debian and upstream now
+      use the same default image format.
 
- -- Ralf Treinen <treinen at debian.org>  Mon, 24 Sep 2012 16:08:42 +0200
+ -- Ralf Treinen <treinen at debian.org>  Wed, 26 Sep 2012 11:47:21 +0200
 
 hevea (1.10-14) unstable; urgency=low
 

-- 
hevea packaging