Merge pull request #135 from kernigh/kernigh-mv-int

Move int to $(INSDIR)/bin/int
This commit is contained in:
David Given 2018-11-05 21:48:17 +01:00 committed by GitHub
commit c55ed2acfa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -102,7 +102,7 @@ cprogram {
installable { installable {
name = "pkg", name = "pkg",
map = { map = {
["$(PLATDEP)/int"] = "+int", ["$(INSDIR)/bin/int"] = "+int",
["$(INSDIR)/share/man/man1/int.1"] = "./int.1", ["$(INSDIR)/share/man/man1/int.1"] = "./int.1",
} }
} }