diff options
-rw-r--r-- | Makefile | 3 | ||||
-rw-r--r-- | debian/changelog | 3 |
2 files changed, 6 insertions, 0 deletions
@@ -104,3 +104,6 @@ clean distclean mostlyclean maintainer-clean: pod2man --section=7 --date="Debian Project" --center="dgit" \ --name=$(subst .7,,$@) \ $^ $@ + +%.view: % + man -l $* diff --git a/debian/changelog b/debian/changelog index a8760fa..b8d345b 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,6 +4,9 @@ dgit (3.7~) unstable; urgency=medium * Fix clone-dgit-repos-server and print-dgit-repos-server-print-url. Closes:#851906. + Internal changes: + * New %.view target: `make dgit-maint-merge.7.view' runs `man -l ...' + Test suite: * defdistro-dsd-clone-drs: New test which would have detected #851906 (and hopefully #850521). |