aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorPaul Garlick <pgarlick@tourbillion-technology.com>2020-07-16 17:33:01 +0100
committerPaul Garlick <pgarlick@tourbillion-technology.com>2020-07-16 17:33:01 +0100
commit7fbf3a9f80d1cb9e42f5bc75474c3796e01630bd (patch)
treed23c6359c5583d782cf1415f466c3c99783ea0e3 /Makefile
parent64f322edca840529a0ecd6e897490e345e4be26f (diff)
downloadfullSWOF-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--Makefile8
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 64bbe94..73b952b 100644
--- a/Makefile
+++ b/Makefile
@@ -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