diff options
author | Jonas Smedegaard <dr@jones.dk> | 2016-02-17 19:48:56 +0100 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2016-02-17 19:48:56 +0100 |
commit | c4d20f527818227f884fc8a833969e174345b5a4 (patch) | |
tree | 15cf15802915688f44f684a296cb704409aa4f16 /debian/rules | |
parent | d1f49d1a4efb280a0ecd93e16b8530e94ed2b220 (diff) |
Fix (re)install man page. Closes: Bug#797469. Thanks to Alexander Kurtz and others.
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 92ade591d..66d58b197 100755 --- a/debian/rules +++ b/debian/rules @@ -75,7 +75,7 @@ clean:: find -type f -name '*.metadata_dump' -delete rm -f debian/stamp-extract-copyright -DEB_INSTALL_MANPAGES_$(pkg) = debian/hsmarkdown.1 +DEB_INSTALL_MANPAGES_$(pkg) = man/pandoc.1 debian/hsmarkdown.1 # Use threaded RTS only when supported DEB_SETUP_GHC_CONFIGURE_ARGS += $(if $(wildcard /usr/lib/ghc-$(GHC_VERSION)/libHSrts_thr.a),,--flags=-threaded) |