[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-67-g11be994

[Ralf Treinen]

The following commit has been merged in the master branch:
commit fe4047e1182aba32cc8610a011faf5213ddfc438
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Nov 27 11:48:02 2010 +0100

    now really use upstream manpages

diff --git a/debian/ceve.manpages b/debian/ceve.manpages
index dc67dfe..e21b714 100644
--- a/debian/ceve.manpages
+++ b/debian/ceve.manpages
@@ -1 +1 @@
-debian/manpages/ceve.1
+doc/manpages/ceve.1
diff --git a/debian/changelog b/debian/changelog
index 61a4383..c8c8bf6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,5 @@
-dose3 (0.7.3-1-1) UNRELEASED; urgency=low
+dose3 (2.9.0-1) UNRELEASED; urgency=low
 
   * Initial release (Closes: #587521)
 
- -- Ralf Treinen <treinen at debian.org>  Fri, 05 Nov 2010 08:16:00 +0100
+ -- Ralf Treinen <treinen at debian.org>  Sat, 27 Nov 2010 11:37:20 +0100
diff --git a/debian/dose3-distcheck.links b/debian/dose3-distcheck.links
index d8ef3e8..ee414b2 100644
--- a/debian/dose3-distcheck.links
+++ b/debian/dose3-distcheck.links
@@ -1,3 +1,6 @@
 bin/distcheck bin/dose3-debcheck
 bin/distcheck bin/dose3-rpmcheck
 bin/distcheck bin/dose3-eclipsecheck
+usr/share/man/man1/distcheck usr/share/man/man1/dose3-debcheck
+usr/share/man/man1/distcheck usr/share/man/man1/dose3-rpmcheck
+usr/share/man/man1/distcheck usr/share/man/man1/dose3-eclipsecheck
diff --git a/debian/dose3-distcheck.manpages b/debian/dose3-distcheck.manpages
new file mode 100644
index 0000000..6618173
--- /dev/null
+++ b/debian/dose3-distcheck.manpages
@@ -0,0 +1 @@
+doc/manpages/distcheck.1
\ No newline at end of file

-- 
dose3 packaging