diff options
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" |