diff options
Diffstat (limited to 'Doc')
-rw-r--r-- | Doc/perl/python.perl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Doc/perl/python.perl b/Doc/perl/python.perl index 4431ec7..de27a2d 100644 --- a/Doc/perl/python.perl +++ b/Doc/perl/python.perl @@ -87,6 +87,9 @@ sub do_cmd_let{ sub do_cmd_textasciitilde{ '~' . @_[0]; } sub do_cmd_textasciicircum{ '^' . @_[0]; } +sub do_cmd_textbar{ '|' . @_[0]; } +sub do_cmd_infinity{ '∞' . @_[0]; } +sub do_cmd_plusminus{ '±' . @_[0]; } # words typeset in a special way (not in HTML though) @@ -1462,7 +1465,7 @@ sub process_all_localmoduletables{ process_localmoduletables_in_file($file); } else { - print "\nsynopsis table $key has no file association"; + print "\nsynopsis table $key has no file association\n"; } } } |