[Pkg-ocaml-maint-commits] [SCM] planets packaging branch, master, updated. debian/0.1.13-11-9-g8251d08

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 44fac8eb7a43f75a183a3006a1287975911e7b45
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Feb 15 21:19:17 2011 +0100

    install upstream changelog

diff --git a/debian/rules b/debian/rules
index 9f3148e..ada5848 100755
--- a/debian/rules
+++ b/debian/rules
@@ -12,3 +12,5 @@ override_dh_auto_install:
 	install -D planets.bc $(DEB_DESTDIR)/usr/bin/planets
 	install -D -m 644 debian/README.examples \
 		$(DEB_DESTDIR)/usr/share/doc/planets/examples/README
+	install -D -m 644 debian/CHANGES \
+		$(DEB_DESTDIR)/usr/share/doc/planets/changelog

-- 
planets packaging