(myformat.perl): Simplify generated HTML for "\optional{...}".

diff --git a/Doc/myformat.perl b/Doc/myformat.perl
index b833ab78cec971ca142f6fdeca13126f595ee199..5d0fb54d1dda34c15f64ad8536ac66eb1fd6fbf1 100644 (file)
--- a/Doc/myformat.perl
+++ b/Doc/myformat.perl
@@ -6,7 +6,7 @@
 #
 # XXX Not complete: \indexii etc.; \funcitem etc.
 
-package main; 
+package main;
 
 # \bcode and \ecode brackets around verbatim
 
@@ -28,7 +28,7 @@ sub do_cmd_e{ "\\" }
 
 sub do_cmd_optional{
        local($_) = @_;
-       s/$any_next_pair_pr_rx/<BIG>\[<\/BIG><VAR>\2<\/VAR><BIG>\]<\/BIG>/;
+       s/$any_next_pair_pr_rx/<BIG>\[<\/BIG>\2<BIG>\]<\/BIG>/;
        $_;
 }