Makefile: add dgit-maint-debrebase.7 to MAN7PAGES

[dgit.git] / Makefile

diff --git a/Makefile b/Makefile
index 44163bf881f2d108c0364ae0e43e9f9e6bf660d9..3eca3121ff89a1ce2981d559c57e53444e193f7a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -32,12 +32,14 @@ infraexamplesdir=$(prefix)/share/doc/dgit-infrastructure/examples
 txtdocdir=$(prefix)/share/doc/dgit
 absurddir=$(prefix)/share/dgit/absurd
 
-PROGRAMS=dgit
+PROGRAMS=dgit dgit-badcommit-fixup
 MAN1PAGES=dgit.1
 
 MAN7PAGES=dgit.7                               \
-       dgit-user.7 dgit-nmu-simple.7   \
+       dgit-user.7 dgit-nmu-simple.7           \
+       dgit-maint-native.7                     \
        dgit-maint-merge.7 dgit-maint-gbp.7     \
+       dgit-maint-debrebase.7                  \
        dgit-sponsorship.7
 
 TXTDOCS=README.dsc-import
@@ -103,3 +105,6 @@ clean distclean mostlyclean maintainer-clean:
        pod2man --section=7 --date="Debian Project" --center="dgit" \
                --name=$(subst .7,,$@) \
                $^ $@
+
+%.view:        %
+       man -l $*