diff options
author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2020-07-16 17:33:01 +0100 |
---|---|---|
committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2020-07-16 17:33:01 +0100 |
commit | 7fbf3a9f80d1cb9e42f5bc75474c3796e01630bd (patch) | |
tree | d23c6359c5583d782cf1415f466c3c99783ea0e3 /Makefile | |
parent | 64f322edca840529a0ecd6e897490e345e4be26f (diff) | |
download | fullSWOF-utils-7fbf3a9f80d1cb9e42f5bc75474c3796e01630bd.tar.gz |
doc: Construct info directory file.
* Makefile: Add target.
* doc/dir: New file.
* doc/fullswof-utils.texi: Add directory entry and category.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -1,8 +1,12 @@ HTML_DIR := manual +INFO_DOC := doc/fullswof-utils.info doc/dir -all: info-doc html-doc +all: html-doc $(INFO_DOC) -info-doc: doc/fullswof-utils.texi +doc/dir: doc/fullswof-utils.info + @install-info --info-dir=doc $< + +doc/fullswof-utils.info: doc/fullswof-utils.texi @makeinfo --output=doc/fullswof-utils.info --no-split $< html-doc: doc/fullswof-utils.texi |