debian/changelog

-discosnp (2.3.0-1) UNRELEASED; urgency=medium
+discosnp (2.3.0-1) unstable; urgency=medium
 
   * Point watch file to Github
   * New upstream version
@@ -13,7 +13,7 @@ discosnp (2.3.0-1) UNRELEASED; urgency=medium
   * Depends: gatb-core
   * Add autopkgtest
 
- -- Andreas Tille <tille@debian.org>  Sat, 20 Oct 2018 10:56:58 +0200
+ -- Andreas Tille <tille@debian.org>  Wed, 23 Jan 2019 16:44:23 +0100
 
 discosnp (1.2.6-2) unstable; urgency=medium
 

debian/control

@@ -6,6 +6,7 @@ Section: science
 Priority: optional
 Build-Depends: debhelper (>= 12~),
                dh-python,
+               python3,
                cmake,
                libgatbcore-dev (>= 1.4.1+git20180206.6f8fce8~),
                libboost-dev,

debian/manpages

-debian/mans/*.1
+debian/mans/k*.1

debian/rules

@@ -18,3 +18,8 @@ override_dh_install:
 	for pl in `grep -Rl -e '#![[:space:]]*/bin/python' -e '#![[:space:]]*/usr/bin/env *python' debian/*/usr/*` ; do \
 	    sed -i '1s?^#!.*python?#!/usr/bin/python3?' $${pl} ; \
 	done
+
+override_dh_installman:
+	dh_installman
+	# dh_installman interprets .sh as language - just copy manpages manually
+	cp -a debian/mans/*.sh.1 debian/$(DEB_SOURCE)/usr/share/man/man1