Add corresponding support for the alltt environment to the HTML generator.

3 files changed, 48 insertions, 2 deletions

diff --git a/Doc/perl/howto.perl b/Doc/perl/howto.perl
index 42f722f..76791eb 100644
--- a/Doc/perl/howto.perl
+++ b/Doc/perl/howto.perl
@@ -6,7 +6,7 @@
 package main;
 
 do_require_package("article");
-#do_require_package("verbatim");
+do_require_package("alltt");
 do_require_package("python");
 
 1;				# sheesh....
diff --git a/Doc/perl/manual.perl b/Doc/perl/manual.perl
index b1de916..ea65b36 100644
--- a/Doc/perl/manual.perl
+++ b/Doc/perl/manual.perl
@@ -9,7 +9,7 @@
 package main;
 
 do_require_package("report");
-#do_require_package("verbatim");
+do_require_package("alltt");
 do_require_package("python");
 
 1;				# sheesh....
diff --git a/Doc/perl/python.perl b/Doc/perl/python.perl
index a0cd507..98a1dcf 100644
--- a/Doc/perl/python.perl
+++ b/Doc/perl/python.perl
@@ -1593,4 +1593,50 @@ withsubitem # {} # {}
 _RAW_ARG_DEFERRED_CMDS_
 
 
+$alltt_start = '<dl><dd><pre class="verbatim">';
+$alltt_end = '</pre></dl>';
+
+sub do_env_alltt {
+    local ($_) = @_;
+    local($closures,$reopens,@open_block_tags);
+
+    # get the tag-strings for all open tags
+    local(@keep_open_tags) = @$open_tags_R;
+    ($closures,$reopens) = &preserve_open_tags() if (@$open_tags_R);
+
+    # get the tags for text-level tags only
+    $open_tags_R = [ @keep_open_tags ];
+    local($local_closures, $local_reopens);
+    ($local_closures, $local_reopens,@open_block_tags)
+      = &preserve_open_block_tags
+	if (@$open_tags_R);
+
+    $open_tags_R = [ @open_block_tags ];
+
+    do {
+	local($open_tags_R) = [ @open_block_tags ];
+	local(@save_open_tags) = ();
+
+	local($cnt) = ++$global{'max_id'};
+	$_ = join('',"$O$cnt$C\\tt$O", ++$global{'max_id'}, $C
+		, $_ , $O, $global{'max_id'}, "$C$O$cnt$C");
+
+	$_ = &translate_environments($_);
+	$_ = &translate_commands($_) if (/\\/);
+
+	# preserve space-runs, using &nbsp;
+	while (s/(\S) ( +)/$1$2;SPMnbsp;/g){};
+	s/(<BR>) /$1;SPMnbsp;/g;
+
+	$_ = join('', $closures, $alltt_start, $local_reopens
+		, $_
+		, &balance_tags() #, $local_closures
+		, $alltt_end, $reopens);
+	undef $open_tags_R; undef @save_open_tags;
+    };
+    $open_tags_R = [ @keep_open_tags ];
+    $_;
+}
+
+
 1;				# This must be the last line