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 | |
| 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')
| -rw-r--r-- | doc/Makefile | 8 | ||||
| -rw-r--r-- | doc/markam.texi | 5 |
2 files changed, 13 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 diff --git a/doc/markam.texi b/doc/markam.texi index 7687705..1f22b48 100644 --- a/doc/markam.texi +++ b/doc/markam.texi @@ -35,6 +35,11 @@ The document was typeset with @insertcopying @end titlepage +@dircategory Individual utilities +@direntry +* Markam: (markam). Keeps bookmarks. +@end direntry + @c Output the table of the contents at the beginning. @contents |