Merge pull request #104 from cavazquez/master

Change PREFIX /usr by /usr/local
pull/106/head
aristocratos 2020-05-06 11:00:56 +02:00 committed by GitHub
commit f29397a212
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1,4 +1,4 @@
PREFIX ?= /usr PREFIX ?= /usr/local
DOCDIR ?= $(PREFIX)/share/doc/bashtop DOCDIR ?= $(PREFIX)/share/doc/bashtop
all: all: