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/markam.texi | |
| 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/markam.texi')
| -rw-r--r-- | doc/markam.texi | 5 |
1 files changed, 5 insertions, 0 deletions
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 |