bug-indent
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

texinfo2man still unfixed regarding quotes


From: Santiago Vila
Subject: texinfo2man still unfixed regarding quotes
Date: Wed, 2 Apr 2008 02:30:22 +0200 (CEST)

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.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]