[Pkg-ocaml-maint-commits] [jbuilder] 06/07: Update packaging

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository jbuilder.

commit 90cd8997a9a19682017b41af0bafa25b758dbf4f
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Oct 12 10:22:48 2017 +0200

    Update packaging
---
 debian/jbuilder.manpages     | 1 +
 debian/jbuilder.opam-install | 1 +
 2 files changed, 2 insertions(+)

diff --git a/debian/jbuilder.manpages b/debian/jbuilder.manpages
index 25aff03..b824ef4 100644
--- a/debian/jbuilder.manpages
+++ b/debian/jbuilder.manpages
@@ -9,3 +9,4 @@ _build/install/default/man/man1/jbuilder-rules.1
 _build/install/default/man/man1/jbuilder-runtest.1
 _build/install/default/man/man1/jbuilder-subst.1
 _build/install/default/man/man1/jbuilder-uninstall.1
+_build/install/default/man/man1/jbuilder-utop.1
diff --git a/debian/jbuilder.opam-install b/debian/jbuilder.opam-install
index b30d18c..e955354 100644
--- a/debian/jbuilder.opam-install
+++ b/debian/jbuilder.opam-install
@@ -22,4 +22,5 @@ man: [
   "_build/install/default/man/man1/jbuilder-runtest.1"
   "_build/install/default/man/man1/jbuilder-subst.1"
   "_build/install/default/man/man1/jbuilder-uninstall.1"
+  "_build/install/default/man/man1/jbuilder-utop.1"
 ]

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/jbuilder.git