summaryrefslogtreecommitdiff
path: root/doc/makefile
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2022-06-09 13:43:14 -0400
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2022-06-09 16:24:12 -0400
commitb6dc9d33488899b73c78675f5357afabf8f8fd29 (patch)
tree8a235e21dd3bffb6d7af6a3ab0b7cb7b67d2eac6 /doc/makefile
parentd28d19b582347bffebbf0ca905297e744842a5f2 (diff)
downloadgeiser-b6dc9d33488899b73c78675f5357afabf8f8fd29.tar.gz
geiser-b6dc9d33488899b73c78675f5357afabf8f8fd29.tar.bz2
doc: Replace texi2html with makeinfo to generate HTML doc.
One benefit of using 'makeinfo' instead of 'texi2html' is that the HTML file hierarchy layout produced by 'makeinfo' matches the layout expected for cross-reference URLs. For example, a cross-reference defined via: @pxref{Introduction,,, geiser, Geiser User Manual} would produce the URL: /Introduction.html#Introduction, while Texi2html produces /geiser/geiser_1.html#Introduction instead, breaking for example a cross-reference in the GNU Guix Reference Manual (see: https://issues.guix.gnu.org/55290). * doc/makefile (web): Replace texi2html with makeinfo. * doc/site.conf: Delete file. * doc/web.texi: Likewise.
Diffstat (limited to 'doc/makefile')
-rw-r--r--doc/makefile17
1 files changed, 8 insertions, 9 deletions
diff --git a/doc/makefile b/doc/makefile
index 6f2a779..fd25e55 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -18,15 +18,14 @@ clean:
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
- cp $(top_srcdir)/doc/geiser.css ${output_dir}
- cp -r $(top_srcdir)/doc/img ${output_dir}
+ makeinfo --output=$(output_dir) \
+ --html \
+ --css-include=$(CURDIR)/geiser.css \
+ --no-headers \
+ --no-number-sections \
+ --split=chapter \
+ $(CURDIR)/geiser.texi && \
+ cp -r $(CURDIR)/img ${output_dir}
http: web
cd $(output_dir) && python -m http.server $(port)