X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ftexi2html;h=7cb22fa94bdc576fb31276f26a3eab240e057a7d;hb=9f013d0930202eea99c21083b71098a0df64be0d;hp=dd122ed0fd07811b89c10fa135514640394b4746;hpb=a3f360bff01c33a4c9167c35f30b760b3a5de8d5;p=pintos-anon

diff --git a/doc/texi2html b/doc/texi2html
index dd122ed..7cb22fa 100755
--- a/doc/texi2html
+++ b/doc/texi2html
@@ -343,7 +343,7 @@ use vars qw(
 #--##############################################################################
 
 # CVS version:
-# $Id: texi2html,v 1.1 2004-09-26 21:06:17 blp Exp $
+# $Id: texi2html,v 1.3 2005-06-19 03:20:26 blp Exp $
 
 # Homepage:
 $T2H_HOMEPAGE = "http://texi2html.cvshome.org";
@@ -390,7 +390,7 @@ $THISPROG = "texi2html $THISVERSION"; # program name and version
 # Copy this file and make changes to it, if you like.
 # Afterwards, either, load it with command-line option -init_file <your_init_file>
 #
-# $Id: texi2html,v 1.1 2004-09-26 21:06:17 blp Exp $
+# $Id: texi2html,v 1.3 2005-06-19 03:20:26 blp Exp $
 
 ######################################################################
 # stuff which can also be set by command-line options
@@ -1863,7 +1863,7 @@ package Getopt::MySimple;
 
 # --------------------------------------------------------------------------
 # Locally modified by obachman (Display type instead of env, order by cmp)
-# $Id: texi2html,v 1.1 2004-09-26 21:06:17 blp Exp $
+# $Id: texi2html,v 1.3 2005-06-19 03:20:26 blp Exp $
 
 # use strict;
 # no strict 'refs';
@@ -2207,6 +2207,7 @@ $index_properties =
 	       "?", "?",
 	       ".", ".",
 	       "-", "",
+	       "/", "",
               );
 
 #
@@ -2252,7 +2253,7 @@ $index_properties =
 # texinfo styles (@foo{bar}) to HTML ones
 #
 %style_map = (
-	      'acronym', '&do_acronym',
+	      'acronym', 'ACRONYM',
 	      'asis', '',
 	      'b', 'B',
 	      'cite', 'CITE',
@@ -2310,6 +2311,11 @@ $index_properties =
 # an eval of these $complex_format_map->{what}->[1] yieleds end
 $complex_format_map =
 {
+ verbatim =>
+ [
+  q{"<TABLE><tr>$T2H_EXAMPLE_INDENT_CELL<td class=example><pre>"},
+  q{'</pre></td></tr></table>'}
+ ],
  example =>
  [
   q{"<TABLE><tr>$T2H_EXAMPLE_INDENT_CELL<td class=example><pre>"},
@@ -2347,6 +2353,7 @@ $complex_format_map->{smallformat} = $complex_format_map->{smalldisplay};
 	    'deftypefn', 0,
 	    'deftypeop', 0,
 	    'deftypevr', 0,
+	    'deftypecv', 0,
 	    'defcv', 0,
 	    'defop', 0,
 	    'deftp', 0,
@@ -2356,6 +2363,7 @@ $complex_format_map->{smallformat} = $complex_format_map->{smalldisplay};
 	    'deftypefnx', 0,
 	    'deftypeopx', 0,
 	    'deftypevrx', 0,
+	    'deftypecvx', 0,
 	    'defcvx', 0,
 	    'defopx', 0,
 	    'deftpx', 0,
@@ -3435,7 +3443,7 @@ sub pass1
         #############################################################
         # value substitution before macro expansion, so that
         # it works in macro arguments
-        s/\@value{($VARRE)}/$value{$1}/eg;
+        s/\@value\{($VARRE)}/$value{$1}/eg;
 
         #############################################################
         # macro substitution
@@ -3504,7 +3512,7 @@ sub pass1
                     $after = '';
                 }
                 $args =~ s|\\\\|\\|g;
-                $args =~ s|\\{|{|g;
+                $args =~ s|\\\{|{|g;
                                 $args =~ s|\\}|}|g;
                 if (@{$macros->{$name}->{Args}} > 1)
                 {
@@ -3977,6 +3985,11 @@ sub pass1
                 $type =~ s/^\{(.*)\}$/$1/;
                 print "# def ($tag): {$type} ", join(', ', @args), "\n"
                     if $T2H_DEBUG & $DEBUG_DEF;
+		if ($tag eq 'deftypecv') {
+		    my $class = shift (@args);
+		    $class =~ s/^\{(.*)\}$/$1/;
+		    $type .= " of $class";
+		}
                 $type .= ':' if (!$T2H_DEF_TABLE); # it's nicer like this
                 $name = shift(@args);
                 $name =~ s/^\{(.*)\}$/$1/;
@@ -4020,7 +4033,7 @@ sub pass1
                 }
                 elsif ($tag eq 'deftypefn' || $tag eq 'deftypevr'
                        || $tag eq 'deftypeop' || $tag eq 'defcv'
-                       || $tag eq 'defop')
+                       || $tag eq 'defop' || $tag eq 'deftypecv')
                 {
                     $ftype = $name;
                     $name = shift(@args);
@@ -4035,8 +4048,9 @@ sub pass1
                     }
                     else
                     {
-                        $_ .= "<U>$type</U> $ftype <B>$name</B>";
-                        $_ .= " <I>@args</I>" if @args;
+			my $sep = $ftype =~ /\*$/ ? '' : ' ';
+                        $_ .= "<U>$type</U> $ftype$sep<B>$name</B>";
+                        $_ .= " @args" if @args;
                     }
                 }
                 else
@@ -4906,7 +4920,7 @@ sub pass2
         #
         # xref
         #
-        while (/\@(x|px|info|)ref{([^{}]+)(}?)/)
+        while (/\@(x|px|info|)ref\{([^{}]+)(}?)/)
         {
             # note: Texinfo may accept other characters
             ($type, $nodes, $full) = ($1, $2, $3);
@@ -5630,10 +5644,10 @@ sub update_sec_num
     my $ret;
 
     $level--;                   # here we start at 0
-    if ($name =~ /^appendix/ || defined(@appendix_sec_num))
+    if ($name =~ /^appendix/ || @appendix_sec_num)
     {
         # appendix style
-        if (defined(@appendix_sec_num))
+        if (@appendix_sec_num)
         {
             &incr_sec_num($level, @appendix_sec_num);
         }
@@ -5646,7 +5660,7 @@ sub update_sec_num
     else
     {
         # normal style
-        if (defined(@normal_sec_num))
+        if (@normal_sec_num)
         {
             &incr_sec_num($level, @normal_sec_num);
         }
@@ -6114,7 +6128,7 @@ sub apply_style
         else
         {                       # no style
         }
-        $text = "\`$text\'" if $do_quotes;
+        $text = "<Q>$text</Q>" if $do_quotes;
     }
     else
     {                           # unknown style
@@ -6149,7 +6163,7 @@ sub substitute_style
     {
         $changed = 0;
         $done = '';
-        while (/\@(\w+){([^\{\}]+)}/ || /\@(,){([^\{\}]+)}/)
+        while (/\@(\w+)\{([^\{\}]+)}/ || /\@(,)\{([^\{\}]+)}/)
         {
             $text = &apply_style($1, $2);
             if ($text)