Add corresponding support for the alltt environment to the HTML generator.
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 @@
_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
+ 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