aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
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