The debian version of indent has this patch applied to texinfo2man.c.
The rationale for this is in http://bugs.debian.org/132399
diff -r -u -P indent-2.2.9.orig/man/texinfo2man.c indent-2.2.9/man/texinfo2man.c
--- indent-2.2.9.orig/man/texinfo2man.c 2007-04-29 14:36:54.369651636 +0200
+++ indent-2.2.9/man/texinfo2man.c 2007-04-29 14:36:56.772481074 +0200
@@ -143,13 +143,23 @@
printf (" .");
return;
}
+ if (c == '\'')
+ {
+ printf("\\(cq");
+ return;
+ }
+ if (c == '`')
+ {
+ printf("\\(oq");
+ return;
+ }
if (no_break && c == '\n')
c = ' ';
if (no_break && c == ' ')
putchar ('\\');
if (to_upper)
c = toupper (c);
- if (c == '\'' || c == '`' || c == '\\')
+ if (c == '\\')
putchar ('\\');
putchar (c);
at_start_of_line = at_start_of_line_for_dot = (c == '\n');
Thanks.
_______________________________________________
bug-indent mailing list
address@hidden
http://lists.gnu.org/mailman/listinfo/bug-indent