Here resides Lionel Cons <Lionel.Cons@cern.ch> fine script (version 1.51)
for converting texinfo into html. The latest version of texi2html
can be found on the WWW, http://wwwcn.cern.ch/dci/texi2html/

Local changes:

* The literate back-end likes to emit @src{filename|lineno},
  and texi2html has been taught to strip off these.
* Instead of using '*' for @bullet, a gif image is used (ball.gif).
* Added support for @aref, anonymous references, that is references
  that does not generate, 'Have a look in Chapter Foo, Section x ...'
  but just attaches a link to a string (you've guessed it, hrefs)

*** texi2html.prl     Mon Feb 10 23:26:04 1997
--- texi2html.~1~       Fri Feb  7 21:41:51 1997
***************
*** 138,143 ****
               'TeX', 'TeX',
               'br', '<P>',             # paragraph break
! # ORIG:              'bullet', '*',
!              'bullet', '<img src=ball.gif width=6 height=6 alt="*">',
               'copyright', '(C)',
               'dots', '...',
--- 138,142 ----
               'TeX', 'TeX',
               'br', '<P>',             # paragraph break
!              'bullet', '*',
               'copyright', '(C)',
               'dots', '...',
***************
*** 246,255 ****
            'c', 1,
            'comment', 1,
-           #
-           # Glasgow literate tools
-           # like to include these.
-           #
-           'srcfilename', 1,
-           'srclineno', 1,
            # useless
            'contents', 1,
--- 245,248 ----
***************
*** 1137,1146 ****
        } elsif ($type eq 'info') {
            $type = 'See Info';
-       } elsif ($type eq 'a') {
-           $type = 'a';
        } else {
            $type = '';
        }
-       $type = '';
        unless ($full) {
            $next = shift(@lines);
--- 1130,1136 ----
***************
*** 1179,1193 ****
            ($nn, $_, $in) = @args;
            $_ = "${before}${type} file `$in', node `$nn'$after";
-       } elsif ($type =~ /a/) { # aref
-           $href = $node2href{$node};
-             if (@args == 1) {
-               $_ = "${before}" . &anchor('', $href, $node) . $after;
-           } else {
-                 $_ = "${before}" . &anchor('', $href, $args[1]) . $after;
-             }
        } elsif ($sec) {
            $href = $node2href{$node};
! #         $_ = "${before}${type}section " . &anchor('', $href, $sec) . $after;
!           $_ = "${before} " . &anchor('', $href, $sec) . $after;
        } else {
            warn "$ERROR Undefined node ($node): $_";
--- 1169,1175 ----
            ($nn, $_, $in) = @args;
            $_ = "${before}${type} file `$in', node `$nn'$after";
        } elsif ($sec) {
            $href = $node2href{$node};
!           $_ = "${before}${type}section " . &anchor('', $href, $sec) . $after;
        } else {
            warn "$ERROR Undefined node ($node): $_";

