| Server IP : 172.67.134.114 / Your IP : 104.23.197.122 Web Server : Apache/2.4.37 System : Linux almalinux.duckdns.org 4.18.0-553.111.1.el8_10.x86_64 #1 SMP Sun Mar 8 20:06:07 EDT 2026 x86_64 User : ricodeal ( 1046) PHP Version : 7.4.33 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /usr/share/enscript/hl/ |
Upload File : |
state lang_texinfo
{
BEGIN {
/* Nop since Texinfo doesn't have colors. */
sub map_color (r, g, b)
{
return "";
}
LANGUAGE_SPECIALS = /[{}@]/;
sub language_print (str)
{
str = regsuball (str, /@/, "@@");
str = regsuball (str, /{/, "@{");
str = regsuball (str, /}/, "@}");
print (str);
}
sub language_symbol (symbol)
{
return false;
}
sub header ()
{
print ("@example\n");
}
sub trailer ()
{
print ("@end example\n");
}
sub face_on (face)
{
if (face[boldp])
print ("@strong{");
if (face[italicp])
print ("@emph{");
}
sub face_off (face)
{
if (face[italicp])
print ("}");
if (face[boldp])
print ("}");
}
return;
}
}
/*
Local variables:
mode: c
End:
*/