From b6dc9d33488899b73c78675f5357afabf8f8fd29 Mon Sep 17 00:00:00 2001
From: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Date: Thu, 9 Jun 2022 13:43:14 -0400
Subject: 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.
---
 doc/site.conf | 55 -------------------------------------------------------
 1 file changed, 55 deletions(-)
 delete mode 100644 doc/site.conf

(limited to 'doc/site.conf')

diff --git a/doc/site.conf b/doc/site.conf
deleted file mode 100644
index c8b55a9..0000000
--- a/doc/site.conf
+++ /dev/null
@@ -1,55 +0,0 @@
-# -*- perl -*-
-
-$DO_CONTENTS = 0;
-$DO_SCONTENTS = 0;
-$PREFIX = geiser;
-$NODE_FILES = 0;
-$SEPARATED_FOOTNOTES = 0;
-
-@MISC_BUTTONS = ();
-@CHAPTER_BUTTONS = ('FastBack', 'FastForward', 'Top');
-
-$USER = 'jao';
-$DATE = '';
-
-$CSS_LINES = '<link rel="stylesheet" type="text/css" href="./geiser.css">';
-
-$print_page_foot = \&page_foot;
-$print_chapter_footer = \&chap_footer;
-$print_chapter_header = \&chap_header;
-
-sub page_foot($) {
-    my $h = shift;
-    print $h "</body>";
-}
-
-sub button_link {
-    my $label = shift;
-    my $txt = shift;
-    my $trail = shift;
-   '<a class="navlink" href="' . $Texi2HTML::HREF{$label} . '">'
-       . $txt . '</a>' . $trail;
-}
-
-$jao_navigation_links = '';
-
-sub chap_header {
-    my $fh = shift;
-    $jao_navigation_links = nav_links();
-    print $fh "<hr>";
-}
-
-sub chap_footer {
-    my $fh = shift;
-    print $fh $jao_navigation_links;
-}
-
-sub nav_links {
-    '<div class="navigation"><table border="0"><tr><td align="left">'
-        . button_link('Top', 'Geiser', '</td><td align="right">')
-        . button_link('FastBack', '<', '&nbsp;&nbsp;')
-        . button_link('FastForward', '>', '</td></tr></table></div>');
-}
-
-1;
-
-- 
cgit v1.2.3