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