diff options
author | Jelle van der Waa <jelle@archlinux.org> | 2019-03-12 22:40:38 +0100 |
---|---|---|
committer | Levente Polyak <anthraxx@archlinux.org> | 2021-01-26 20:39:06 +0100 |
commit | 360a7611a8df0b0e52f7d1b2fb58059fc997dc5e (patch) | |
tree | c341fed27db9d77913a4e184d513f4e671a9a141 /Makefile | |
parent | d507db94906769aa73ef97157fba543f2a2d7d61 (diff) | |
download | devtools-360a7611a8df0b0e52f7d1b2fb58059fc997dc5e.tar.xz |
doc: add devtools.7 man page
Signed-off-by: Jelle van der Waa <jelle@vdwaa.nl>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |