chiark / gitweb /
git fetching: Move lrfetch* down in the file
[dgit.git] / Makefile
index 44163bf881f2d108c0364ae0e43e9f9e6bf660d9..2b5a5dca288f32053864bbfe7802171c8cd511b8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -32,11 +32,12 @@ infraexamplesdir=$(prefix)/share/doc/dgit-infrastructure/examples
 txtdocdir=$(prefix)/share/doc/dgit
 absurddir=$(prefix)/share/dgit/absurd
 
 txtdocdir=$(prefix)/share/doc/dgit
 absurddir=$(prefix)/share/dgit/absurd
 
-PROGRAMS=dgit
+PROGRAMS=dgit dgit-badcommit-fixup
 MAN1PAGES=dgit.1
 
 MAN7PAGES=dgit.7                               \
 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-sponsorship.7
 
        dgit-maint-merge.7 dgit-maint-gbp.7     \
        dgit-sponsorship.7