&do_cmd_bcode, &do_cmd_ecode: Removed; no longer used.

&do_cmd_url:  Make sure the tilde gets treated right for the browsers.

&replace_verbatim:  Be sure we always have a leading vertical space.
This commit is contained in:
Fred Drake 1998-02-25 17:50:07 +00:00
parent 044b9dc1d7
commit c88aa3594f
1 changed files with 2 additions and 6 deletions

View File

@ -8,11 +8,6 @@
package main; package main;
# \bcode and \ecode brackets around verbatim
sub do_cmd_bcode{ @_[0]; }
sub do_cmd_ecode{ @_[0]; }
# words typeset in a special way (not in HTML though) # words typeset in a special way (not in HTML though)
sub do_cmd_ABC{ join('', 'ABC', @_[0]); } sub do_cmd_ABC{ join('', 'ABC', @_[0]); }
@ -72,6 +67,7 @@ sub do_cmd_url{
local($_) = @_; local($_) = @_;
s/$any_next_pair_pr_rx//; s/$any_next_pair_pr_rx//;
local($url) = $2; local($url) = $2;
$url =~ s/~/~/g;
"<tt><font face=sans-serif><a href=\"$url\">$url</a></font></tt>" . $_; "<tt><font face=sans-serif><a href=\"$url\">$url</a></font></tt>" . $_;
} }
@ -305,7 +301,7 @@ sub make_str_index_entry{
# Changed from the stock version to indent {verbatim} sections: # Changed from the stock version to indent {verbatim} sections:
sub replace_verbatim { sub replace_verbatim {
# Modifies $_ # Modifies $_
s/$verbatim_mark(verbatim)(\d+)/<dl><dd><pre>$verbatim{$2}<\/pre><\/dl>/go; s/$verbatim_mark(verbatim)(\d+)/<p><dl><dd><pre>$verbatim{$2}<\/pre><\/dl>/go;
s/$verbatim_mark(rawhtml)(\d+)/$verbatim{$2}/ego; # Raw HTML s/$verbatim_mark(rawhtml)(\d+)/$verbatim{$2}/ego; # Raw HTML
} }