summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorCase Duckworth <acdw@acdw.net>2022-01-31 23:52:14 -0600
committerCase Duckworth <acdw@acdw.net>2022-01-31 23:52:14 -0600
commitd2e4026d9de80ab6f23dd126810f96fb06a9cbbe (patch)
tree96ef6722705fc7f40e0098f5f28c7f7386b870b5 /doc
parentf7d91d04e3fcca40268439e702cb6c4f5c90ab98 (diff)
downloadgeiser-d2e4026d9de80ab6f23dd126810f96fb06a9cbbe.tar.gz
geiser-d2e4026d9de80ab6f23dd126810f96fb06a9cbbe.tar.bz2
Make info files as well
Diffstat (limited to 'doc')
-rw-r--r--doc/makefile18
1 files changed, 12 insertions, 6 deletions
diff --git a/doc/makefile b/doc/makefile
index a192e00..6f48746 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -14,18 +14,24 @@ port ?= 8082
clean:
rm -f $(output_dir)/*.html
+ rm -f *.info
web:
rm -f $(output_dir)/*.html
texi2html --output=$(output_dir) \
- --split=chapter \
- --noheader \
- --nonumber-section \
- --init-file=$(top_srcdir)/doc/site.conf \
- --top-file=index.html \
- $(top_srcdir)/doc/web.texi
+ --split=chapter \
+ --noheader \
+ --nonumber-section \
+ --init-file=$(top_srcdir)/doc/site.conf \
+ --top-file=index.html \
+ $(top_srcdir)/doc/web.texi
cp $(top_srcdir)/doc/geiser.css ${output_dir}
cp -r $(top_srcdir)/doc/img ${output_dir}
http: web
cd $(output_dir) && python -m http.server $(port)
+
+info: geiser.info dir
+
+%.info: %.texi
+ makeinfo --no-split $< -o $@