[Pkg-ocaml-maint-commits] [SCM] headache packaging branch, master, updated. debian/1.03-17

[Sylvain Le Gall]

The following commit has been merged in the master branch:
commit 511c929dad9a3e807adcc67dec4ad502af86f36a
Author: Sylvain Le Gall <gildor at debian.org>
Date:   Mon Jun 29 10:43:06 2009 +0000

    Copy manual.ps.gz from original tarball

diff --git a/doc/manual.ps.gz b/doc/manual.ps.gz
index f5bbabc..98653b4 100644
Binary files a/doc/manual.ps.gz and b/doc/manual.ps.gz differ

-- 
headache packaging