index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
-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 |