56 |
$menu_description = \&makeinfo_like_menu_description; |
$menu_description = \&makeinfo_like_menu_description; |
57 |
$menu_comment = \&makeinfo_like_menu_comment; |
$menu_comment = \&makeinfo_like_menu_comment; |
58 |
$menu = \&makeinfo_like_menu; |
$menu = \&makeinfo_like_menu; |
|
# this is buggy, see TODO |
|
|
#$normal_text = \&makeinfo_like_normal_text; |
|
59 |
|
|
60 |
sub makeinfo_like_foot_line_and_ref($$$$$$$$) |
sub makeinfo_like_foot_line_and_ref($$$$$$$$) |
61 |
{ |
{ |
245 |
} |
} |
246 |
return ''; |
return ''; |
247 |
} |
} |
|
|
|
|
sub makeinfo_like_normal_text($) |
|
|
{ |
|
|
my $text = shift; |
|
|
$text =~ s/---/—/g; |
|
|
$text =~ s/---/–/g; |
|
|
$text =~ s/``/“/g; |
|
|
$text =~ s/''/”/g; |
|
|
return $text; |
|
|
} |
|