diff options
| author |  Tom Willemsen | 2013-01-06 15:30:50 +0100 |
|---|---|---|
| committer | Tom Willemsen | 2013-01-06 15:30:50 +0100 |
| commit | e2999eed45ccd6998c5a692f40b7ff47e1fcb8eb (patch) | |
| tree | fc3b8a63a2494672d331d9cfa85579cbf7014abe /doc | |
| parent | 759b8b0cf97c21d897c0d1929421c803a6619bd1 (diff) | |
| download | markam-e2999eed45ccd6998c5a692f40b7ff47e1fcb8eb.tar.gz markam-e2999eed45ccd6998c5a692f40b7ff47e1fcb8eb.zip | |
Add uninstall target
Removes all files from their installed locations.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index edb2998..dbea1f8 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,6 +1,7 @@ DESTDIR ?= /usr/local -.PHONY: all html dvi pdf ps +.PHONY: all html dvi pdf ps install uninstall install-dvi install-pdf \ + install-ps all: markam.info @@ -9,6 +10,15 @@ install: markam.info install-info --dir-file="$(DESTDIR)/share/info/dir" \ "$(DESTDIR)/share/info/markam.info" +uninstall: + install-info --dir-file="$(DESTDIR)/share/info/dir" \ + --delete "$(DESTDIR)/share/info/markam.info" + rm -f "$(DESTDIR)/share/info/markam.info" + rm -f "$(DESTDIR)/share/doc/markam/dvi/markam.dvi" + rm -f "$(DESTDIR)/share/doc/markam/pdf/markam.pdf" + rm -f "$(DESTDIR)/share/doc/markam/ps/markam.ps" + rm -rf "$(DESTDIR)/share/doc/markam/html/" + install-dvi: markam.dvi install -Dm 655 markam.dvi \ "$(DESTDIR)/share/doc/markam/dvi/markam.dvi" |