File r37/doc/util/latex2html.ini from the latest check-in



$BLABLA = <<'BLA';
\newcommand{\ttindex}[1]{{\renewcommand{\_}{\protect\underscore}%
                          \index{#1@{\tt #1}}}}
BLA

$BLABLA =~ s/[\\\{\}\[\]]/\\$&/g;

sub pre_pre_process {
   s/$BLABLA//i;
}
sub do_cmd_ttindex {
    &do_cmd_index;
}

1;


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]