GNU bug report logs - #16292
24.3.50; info docs now contain single straight quotes instead of `'

Previous Next

Full log

Message #237 received at 16292 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Paul Eggert <eggert <at> cs.ucla.edu>
Cc: grfz <at> gmx.de, monnier <at> iro.umontreal.ca, 16292 <at> debbugs.gnu.org
Subject: Re: bug#16292: 24.3.50;
 info docs now contain single straight quotes instead of `'
Date: Mon, 06 Jan 2014 05:54:33 +0200

> Date: Sun, 05 Jan 2014 15:05:33 -0800
> From: Paul Eggert <eggert <at> cs.ucla.edu>
> CC: monnier <at> iro.umontreal.ca, 16292 <at> debbugs.gnu.org, grfz <at> gmx.de
> 
> 
> [1:text/plain Hide]
> 
> Eli Zaretskii wrote:
> > If we are going to use Texinfo 4 for generating the manuals in the
> > next release, the problem that bothered me will not happen in the Info
> > files that will be in the release tarball.
> 
> Ah, OK, then we can separate the proposed patch into two parts.
> The first just adds @documentencoding lines, and can be installed
> now.  The second deals with ASCIIfying the info files, a new feature
> that can wait until after the feature freeze is over.  I'm attaching
> both patches.

I'm okay with the first one.

As for the second, I still think that (a) the ASCII version should be
the default, and (b) using --enable/disable-encoding on the makeinfo
command line is an easier way of achieving the same effect.  But if
Stefan prefers this method, so be it.

Thanks.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.