diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-06-09 13:43:14 -0400 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2022-06-09 16:24:12 -0400 |
commit | b6dc9d33488899b73c78675f5357afabf8f8fd29 (patch) | |
tree | 8a235e21dd3bffb6d7af6a3ab0b7cb7b67d2eac6 /doc/img/repls.png | |
parent | d28d19b582347bffebbf0ca905297e744842a5f2 (diff) | |
download | geiser-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/img/repls.png')
0 files changed, 0 insertions, 0 deletions