Paul Eggert
97ee300903
Fix doc quoting problems with Texinfo 5
Without this change, in the info file output, Texinfo 5 quotes code
in text with undirected single quotes 'like this' and generates
code examples that with many PDF readers cannot be cut out of PDFs
and pasted into code.
* manual/libc.texinfo: Configure the libc manual like the GNU
Emacs manual, by using @documentencoding and setting
txicodequoteundirected and txicodequotebacktick. This way,
Texinfo 5 quotes code in text with directed single quotes ‘like
this’ and produces examples that can be cut out of PDFs. This
change causes Texinfo 5 to generate info files that contain UTF-8
characters in the set {'‘', '’', '“', '”', 'Ä', 'ä', 'ö', '−',
'–', '—', '©', '⇒', '•', '…'}, which is OK nowadays.
2016-01-10 00:20:51 -08:00
..
2016-01-04 16:05:18 +00:00
2015-10-14 11:49:58 -04:00
2014-02-26 23:27:38 +01:00
2014-02-26 23:27:38 +01:00
2016-01-07 04:03:21 -05:00
2014-01-29 05:26:47 -02:00
2015-02-05 23:14:38 -05:00
2014-02-11 23:40:07 +00:00
2014-01-29 05:27:54 -02:00
2014-01-31 23:14:14 -02:00
2014-01-30 18:50:57 -02:00
2015-03-06 00:59:49 -05:00
2012-02-24 12:58:10 -08:00
2015-10-07 14:10:43 -04:00
2013-09-24 14:06:56 -07:00
2014-01-31 23:16:56 -02:00
2012-02-28 14:44:20 +00:00
2013-12-05 09:58:20 +05:30
2015-10-27 16:34:12 +00:00
2014-04-17 19:41:09 -04:00
2012-03-08 01:27:38 +00:00
2014-04-08 17:12:15 -04:00
2014-11-21 02:16:02 -02:00
2015-12-10 08:29:30 -08:00
2011-06-06 16:16:55 -07:00
2016-01-07 04:03:21 -05:00
2016-01-10 00:20:51 -08:00
2014-01-31 23:23:59 -02:00
2016-01-04 16:05:18 +00:00
2015-08-20 09:43:50 +02:00
2015-12-10 08:29:30 -08:00
2015-08-20 09:43:50 +02:00
2014-02-26 23:27:38 +01:00
2016-01-04 16:05:18 +00:00
2015-02-17 23:41:27 +00:00
2015-12-10 08:29:30 -08:00
2014-02-26 23:27:38 +01:00
2015-12-10 00:48:15 -05:00
2015-03-23 16:12:38 +01:00
2014-01-31 23:37:28 -02:00
2015-08-19 17:43:26 -03:00
2014-02-26 23:27:38 +01:00
2014-02-26 11:05:09 -05:00
2014-06-05 01:13:04 +02:00
2014-12-21 14:11:32 +01:00
2014-04-17 11:40:36 +01:00
2014-11-18 11:19:20 +01:00
2014-02-26 23:27:38 +01:00
2014-02-11 23:40:07 +00:00
2015-12-10 08:29:30 -08:00
2015-12-10 08:29:30 -08:00
2016-01-04 16:05:18 +00:00
2015-12-14 22:52:15 +00:00
2014-02-01 01:22:09 -02:00
2014-02-01 03:53:15 -02:00
2016-01-05 18:04:06 +00:00
2015-11-24 17:21:01 +01:00
2015-02-16 15:32:34 -08:00
2016-01-07 04:03:21 -05:00
2014-11-21 02:15:09 -02:00
2016-01-07 04:03:21 -05:00