From c88aa3594f49f3c2496aacd6970863cecafb1895 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Wed, 25 Feb 1998 17:50:07 +0000
Subject: [PATCH] &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.
---
 Doc/myformat.perl | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/Doc/myformat.perl b/Doc/myformat.perl
index e3783a9c935..d68489776eb 100644
--- a/Doc/myformat.perl
+++ b/Doc/myformat.perl
@@ -8,11 +8,6 @@
 
 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)
 
 sub do_cmd_ABC{ join('', 'ABC', @_[0]); }
@@ -72,6 +67,7 @@ sub do_cmd_url{
     local($_) = @_;
     s/$any_next_pair_pr_rx//;
     local($url) = $2;
+    $url =~ s/~/&#126;/g;
     "<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:
 sub replace_verbatim {
     # 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
 }