diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 29d7269..7e798bf 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,4 +1,12 @@ +DESTDIR ?= /usr/local + .PHONY: all all: markam.info + +install: markam.info + install -Dm 655 markam.info "$(DESTDIR)/share/info/markam.info" + install-info --dir-file="$(DESTDIR)/share/info/dir" \ + "$(DESTDIR)/share/info/markam.info" + markam.info: markam.texi |