From: Robert D. <rob...@us...> - 2005-05-01 17:57:31
|
Update of /cvsroot/maxima/maxima/doc/info In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv11067 Modified Files: texi2html Log Message: Added reference to CSS style file in header; put each @example into an examplebox. No other changes. Index: texi2html =================================================================== RCS file: /cvsroot/maxima/maxima/doc/info/texi2html,v retrieving revision 1.1 retrieving revision 1.2 diff -u -d -r1.1 -r1.2 --- texi2html 3 Apr 2002 01:54:53 -0000 1.1 +++ texi2html 1 May 2005 17:57:20 -0000 1.2 @@ -711,7 +711,11 @@ &html_push_if($format_map{$tag}); push(@lines, &html_debug("\n", __LINE__)); $in_list++ if $format_map{$tag} eq 'UL' || $format_map{$tag} eq 'OL' ; - push(@lines, &debug("<$format_map{$tag}>\n", __LINE__)); + if ($tag eq 'example') { + push(@lines, &debug("<div class=examplebox>\n<pre>\n", __LINE__)); + } else { + push(@lines, &debug("<$format_map{$tag}>\n", __LINE__)); + } next; } elsif ($tag eq 'table') { if (/^\@[fv]?table\s+\@(\w+)\s*$/) { @@ -860,7 +864,11 @@ $in_list-- if $format_map{$end_tag} eq 'UL' || $format_map{$end_tag} eq 'OL' ; &html_pop_if('LI', 'P'); &html_pop_if(); - push(@lines, &debug("</$format_map{$end_tag}>\n", __LINE__)); + if ($end_tag eq 'example') { + push(@lines, &debug("</pre>\n</div>\n", __LINE__)); + } else { + push(@lines, &debug("</$format_map{$end_tag}>\n", __LINE__)); + } push(@lines, &html_debug("\n", __LINE__)); } elsif ($end_tag eq 'table' || $end_tag eq 'ftable' || @@ -1906,6 +1914,9 @@ <HEAD> $header <TITLE>$_</TITLE> +<style type="text/css"> + \@import "manual.css"; +</style> $links </HEAD> <BODY> |