index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
author | Eli Schwartz via arch-projects <arch-projects@archlinux.org> | 2019-03-25 16:32:18 -0400 |
---|---|---|
committer | Levente Polyak <anthraxx@archlinux.org> | 2019-03-28 21:17:50 +0100 |
commit | ebba5a588534bce575c877694790af87a812aa6c (patch) | |
tree | b819fc9f00b52bf767ae72cd0d96f968709b8566 /Makefile | |
parent | c9b6f58f8e511b62085fa7e592aa5ecbe2a38074 (diff) |
-rw-r--r-- | Makefile | 9 |
@@ -3,7 +3,7 @@ V=20180531 PREFIX = /usr/local MANDIR = $(PREFIX)/share/man -BINPROGS = \ +IN_PROGS = \ checkpkg \ commitpkg \ archco \ @@ -16,7 +16,10 @@ BINPROGS = \ crossrepomove\ arch-nspawn \ mkarchroot \ - makechrootpkg \ + makechrootpkg + +BINPROGS = \ + $(IN_PROGS) \ sogrep CONFIGFILES = \ @@ -90,7 +93,7 @@ doc/%: doc/%.asciidoc a2x --no-xmllint --asciidoc-opts="-f doc/asciidoc.conf" -d manpage -f manpage -D doc $< clean: - rm -f $(BINPROGS) bash_completion zsh_completion $(MANS) + rm -f $(IN_PROGS) bash_completion zsh_completion $(MANS) install: install -dm0755 $(DESTDIR)$(PREFIX)/bin |