From 360a7611a8df0b0e52f7d1b2fb58059fc997dc5e Mon Sep 17 00:00:00 2001 From: Jelle van der Waa Date: Tue, 12 Mar 2019 22:40:38 +0100 Subject: doc: add devtools.7 man page Signed-off-by: Jelle van der Waa --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 6adcee5..47bb510 100644 --- a/Makefile +++ b/Makefile @@ -75,7 +75,8 @@ MANS = \ doc/makerepropkg.1 \ doc/mkarchroot.1 \ doc/find-libdeps.1 \ - doc/find-libprovides.1 + doc/find-libprovides.1 \ + doc/devtools.7 all: $(BINPROGS) bash_completion zsh_completion man -- cgit v1.2.3-70-g09d2