diff options
| author |  Tom Willemsen | 2013-01-06 14:36:51 +0100 |
|---|---|---|
| committer | Tom Willemsen | 2013-01-06 14:36:51 +0100 |
| commit | 58a7c046d22579cc5156fb34429e5ea7ea5a5526 (patch) | |
| tree | b0c136e3bdf6ea2d0296d712197b108f074f6f49 /doc/Makefile | |
| parent | 8d9615f72aa090cf45f156400d7c02d33837c1af (diff) | |
| download | markam-58a7c046d22579cc5156fb34429e5ea7ea5a5526.tar.gz markam-58a7c046d22579cc5156fb34429e5ea7ea5a5526.zip | |
Add install target to Makefile
Installs everything under `DESTDIR', which is `/usr/local' by
default.
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 |