aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMattias Andrée <maandree@operamail.com>2013-01-21 11:37:28 +0100
committerMattias Andrée <maandree@operamail.com>2013-01-21 11:37:28 +0100
commit2fd186ff651d67bd44df80455aa4c58ad23e3628 (patch)
tree8e51d7d39aba3b883eaa77c14ced6cdc29aab791
parentdist (diff)
downloadsets-2fd186ff651d67bd44df80455aa4c58ad23e3628.tar.gz
sets-2fd186ff651d67bd44df80455aa4c58ad23e3628.tar.bz2
sets-2fd186ff651d67bd44df80455aa4c58ad23e3628.tar.xz
m
Signed-off-by: Mattias Andrée <maandree@operamail.com>
-rw-r--r--Makefile20
1 files changed, 10 insertions, 10 deletions
diff --git a/Makefile b/Makefile
index 43f378c..a2de8d3 100644
--- a/Makefile
+++ b/Makefile
@@ -57,20 +57,20 @@ dvi.xz: $(BOOK).dvi.xz
# install to system
.PHONY: install
install:
- mkdir -p $(DESTDIR)$(PREFIX)/bin
- mkdir -p $(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)
- mkdir -p $(DESTDIR)$(PREFIX)/share/info/
- install -m 755 $(PROGRAM).py $(DESTDIR)$(PREFIX)/bin/$(PROGRAM)
- install -m 644 COPYING $(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)
- install -m 644 LICENSE $(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)
- install -m 644 $(BOOK).info.gz $(DESTDIR)$(PREFIX)/share/info
+ mkdir -p "$(DESTDIR)$(PREFIX)/bin"
+ mkdir -p "$(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)"
+ mkdir -p "$(DESTDIR)$(PREFIX)/share/info/"
+ install -m 755 "$(PROGRAM).py" "$(DESTDIR)$(PREFIX)/bin/$(PROGRAM)"
+ install -m 644 COPYING "$(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)"
+ install -m 644 LICENSE "$(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)"
+ install -m 644 "$(BOOK).info.gz" "$(DESTDIR)$(PREFIX)/share/info"
# remove files created by `install`
.PHONY: uninstall
uninstall:
- unlink $(DESTDIR)$(PREFIX)/bin/$(PROGRAM)
- rm -r $(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)
- rm $(DESTDIR)$(PREFIX)/share/info/$(BOOK).info.gz
+ unlink "$(DESTDIR)$(PREFIX)/bin/$(PROGRAM)"
+ rm -r "$(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)"
+ rm "$(DESTDIR)$(PREFIX)/share/info/$(BOOK).info.gz"
# remove files created by `all`
.PHONY: clean