unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Patrice Dumas <pertusus@free.fr>
To: Yuri Khan <yuri.v.khan@gmail.com>
Cc: bug-texinfo@gnu.org, Emacs developers <emacs-devel@gnu.org>
Subject: Re: texi2html output validity
Date: Tue, 23 Dec 2014 17:49:11 +0100	[thread overview]
Message-ID: <20141223164911.GD5623@free.fr> (raw)
In-Reply-To: <CAP_d_8Vp1Mqx-Kp9WdUYWTfRfrZqBG01A-aFKRQq7tif2csi7g@mail.gmail.com>

Hello,

First of all it is a bit unclear where this html comes from.  In
general, both texi2html and texi2any/makeinfo, especially for makeinfo
starting at version 5 render properly nested html tags.  

On Tue, Dec 23, 2014 at 09:29:07PM +0700, Yuri Khan wrote:
> >
> >         • the <code /> element is /always/ used instead of <tt />;
> 
> Cursory reading of HTML.pm seems to indicate that <tt> is currently***
> used for @key, @t, @verb, and some kinds of tables possibly related to
> @example, @smallexample, @lisp and @smalllisp.

Use of <tt> in @example, @smallexample, @lisp and @smalllisp is for very
special case, something like a @table nested in those formats.

> *** 5.2.0.dfsg.1-2 as packaged in Ubuntu 14.04
> 
> @key should be rendered as <kbd>, possibly with an additional class.
> Yes, even when inside @kbd — HTML allows and encourages nesting <kbd>.

I am not convinced.  @key is semantically very diferent from @kbd which
is the same as <kbd>.  Indeed <kbd> is not for a keyboard key in HTML,
but for typed keyboard input.

> @t is a non-semantic command in Texinfo and should probably be
> discouraged the same way <tt> has been discouraged in HTML since at
> least 1997. It probably should become a <span class="t"> styled with
> .t { font-family: monospace }.

@t and other non-semantic commands are already discouraged in the manual.
But I see no point in not using <tt> for @t, as long as browser support
it (which is likely to be until the end of times). CSS is not supported
by every browser.

> @verb is syntax sugar for escaping characters which have special
> meaning in Texinfo, and has a non-semantic side effect of fixed-width
> rendering. It probably should become a <span class="verb">.

Once again this will only work if there is CSS support.  <tt> should
always work.  That being said, the best could be <tt class="verb">.

> Code examples are a good match for <code>.
> 
> >         • <img align="ALIGN" border="0" … /> is replaced with
> >           <img style="text-align: ALIGN; border: 0;" … />;
> 
> No. { border: 0 } should just be specified in CSS for all img, while
> alignment should be handled by classes.
> 
> >         • unless there’s a really good reason to nest <p /> inside an
> >           <a />, – do it in reverse: <p ><a …></a>; for one thing, this
> >           makes it possible to simply omit any </p>s on output.
> 
> +1 for nesting <a> within <p>. -1 against omitting closing tags.

If non valid HTML is emitted by makeinfo it is a bug, so no closing tag
omissions, no invalid nesting.  A <p> in <a> should be pretty rare, I
cannot really imagine Texinfo code that would lead to that.  But if you
have such code, don't hesitate to report it, we'll see what we can do.

> Note also that <tt> and <a>/<p> nesting order are just the tip of the
> iceberg. The wider problem is that the Texinfo HTML generator
> generally assumes HTML ≈3.2 even though it declares 4.01 Transitional:

No, there is a special code for HTML 3.2 compatibility, in
init/html32.pm, but in HTML.pm many 4.01 features are used.

I may have missed something, but in the specification of 4.01
Transitional all the element you describe as needing to be dropped
are accepted?  I see them all in
http://www.w3.org/TR/html401/sgml/loosedtd.html

Also, I think that, at least in the past, I checked the validity of
texi2html/makinfo output with some program and the HTML was valid.

We in fact choose that DTD in order to have a good rendering both in old
and new browser, with or without CSS.

> * <a name> should be dropped in favor of placing an id on the parent element;
> * alignment should be handled by classes;
> * <table border=… cellpadding=… cellspacing=…>, <tr valign=…>, <td
> align=…> should be replaced with CSS;
The previous 3 items seems to me to be ok in 4.01 Transitional.

> * tables should be generally avoided unless actually representing tabular data;
Agreed, but sometime we want to do some non-semantic formatting, for
instance for node lines, or indices.  <table> is very practical in that
case.

> * table cells containing only non-breaking spaces indicate some
> problem that should be solved, not worked around;
> * a non-breaking space immediately adjacent to a normal space is nonsensical;
> * more than one contiguous non-breaking space is a kludge;

Same as above, the use of non breaking spaces is for cases when we want
non-semantic formatting.

I agree that these are kludges, but current output is rendered ok on all
browsers we know about.  If there are proposals of other formatting that
can be used optionnally and do not involve tables and non breaking
spaces, and involve, for instance CSS, don't hesitate to propose.  But
it will be optional, the default is likely to be the kludges, as long as
they render nicely.

> * <br> are fit for poetry and postal addresses and almost nothing else;

We use it for @* and @sp as the semantics correspond.  Otherwise it is
rarely used, and always in cases when we do some non-semantic formatting
(author name, in indices formatting).

> * <font size=…> should be replaced with CSS;
> * OUTPUT_ENCODING_NAME should be deprecated in favor of UTF-8;

Default is utf-8 already, so no need to prevent setting
OUTPUT_ENCODING_NAME.  But otherwise we must stick to what the user
provides as @documentencoding.

> * the encoding declaration <meta> should be the first thing in <head>;

What would be the reason for that?

-- 
Pat



  parent reply	other threads:[~2014-12-23 16:49 UTC|newest]

Thread overview: 575+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-12-17 17:54 Have you all gone crazy? Was: On being web-friendly and why info must die Sven Axelsson
2014-12-17 18:16 ` Paul Eggert
2014-12-17 18:17 ` David Kastrup
2014-12-17 21:14   ` Stefan Monnier
2014-12-17 21:17     ` David Kastrup
2014-12-17 22:14       ` Stefan Monnier
2014-12-17 22:43         ` Óscar Fuentes
2014-12-18  3:45         ` Eli Zaretskii
2014-12-18  7:40           ` Sven Axelsson
2014-12-19 20:26         ` Phillip Lord
2014-12-19 20:52           ` Yuri Khan
2014-12-19 21:29             ` Óscar Fuentes
2014-12-19 21:35           ` Stefan Monnier
2014-12-17 18:29 ` Allen S. Rout
2014-12-19 20:42   ` Phillip Lord
2014-12-19 21:15     ` Jay Belanger
2014-12-19 21:32       ` David Kastrup
2014-12-19 21:22     ` David Kastrup
2014-12-20  7:30     ` Stephen J. Turnbull
2014-12-20  8:27       ` David Kastrup
2014-12-20 10:22         ` Stephen J. Turnbull
2014-12-20 11:10           ` Lennart Borgman
2014-12-20 11:45             ` David Kastrup
2014-12-20 11:49               ` Lennart Borgman
2014-12-21 10:56                 ` Richard Stallman
2014-12-20 14:26             ` Stephen J. Turnbull
2014-12-20 14:35               ` Lennart Borgman
2014-12-20 16:36                 ` David Kastrup
2014-12-20 16:47                 ` Stephen J. Turnbull
2014-12-20 17:23                   ` Lennart Borgman
2014-12-20 18:03                     ` Stephen J. Turnbull
2014-12-20 19:06                       ` Lennart Borgman
2014-12-21 10:56             ` Richard Stallman
2014-12-20 11:35           ` David Kastrup
2014-12-20 14:48             ` Stephen J. Turnbull
2014-12-21 10:56             ` Richard Stallman
2014-12-21 11:05               ` David Kastrup
2014-12-21 16:47                 ` Drew Adams
2014-12-21 17:10                   ` David Kastrup
2014-12-21 17:33                   ` Sven Axelsson
2014-12-21 17:50                     ` Lennart Borgman
2014-12-21 18:01                       ` David Kastrup
2014-12-21 23:35                         ` Lennart Borgman
2014-12-21 17:43                   ` Lennart Borgman
2014-12-21 17:57                     ` David Kastrup
2014-12-22  2:30                       ` Yuri Khan
2014-12-22  8:58                         ` David Kastrup
2014-12-22 17:37                           ` Yuri Khan
2014-12-22 18:23                             ` Lennart Borgman
2014-12-23  9:27                             ` Steinar Bang
2014-12-23 10:15                               ` Lennart Borgman
2014-12-23 10:55                                 ` [OT] HTML5 Ivan Shmakov
2014-12-23 12:41                                 ` Have you all gone crazy? Was: On being web-friendly and why info must die Steinar Bang
2014-12-23 12:50                                   ` Lennart Borgman
2014-12-23 14:35                                   ` Yuri Khan
2014-12-23 14:52                                     ` Lennart Borgman
2014-12-24  9:55                                       ` Richard Stallman
2014-12-23 10:37                           ` texi2html output validity Ivan Shmakov
2014-12-23 10:44                             ` Lennart Borgman
2014-12-23 16:55                               ` Patrice Dumas
2014-12-23 21:57                                 ` Lennart Borgman
2014-12-23 14:29                             ` Yuri Khan
2014-12-23 14:59                               ` Lennart Borgman
2014-12-23 15:37                               ` Ivan Shmakov
2014-12-23 16:08                                 ` Yuri Khan
2014-12-23 16:49                               ` Patrice Dumas [this message]
2014-12-23 17:21                                 ` Ivan Shmakov
2014-12-23 18:38                                   ` Gavin Smith
2014-12-23 17:23                                 ` David Kastrup
2014-12-23 17:59                                 ` Yuri Khan
2014-12-24  3:27                                   ` Stephen J. Turnbull
2014-12-25 14:05                                     ` Ineiev
2014-12-25 15:58                                       ` Stephen J. Turnbull
2014-12-25 16:58                                         ` Ineiev
2014-12-25 17:09                                           ` Stephen J. Turnbull
2014-12-25 17:30                                             ` Ineiev
2014-12-25 17:45                                               ` Stephen J. Turnbull
2014-12-25 13:58                                   ` Ineiev
2014-12-23 18:14                                 ` Gavin Smith
2014-12-22  8:12                 ` Have you all gone crazy? Was: On being web-friendly and why info must die Richard Stallman
2014-12-22  8:12                 ` HTML-Info design Richard Stallman
2014-12-22  8:31                   ` Yuri Khan
2014-12-22  9:23                   ` Achim Gratz
2014-12-22  9:42                   ` Stephen J. Turnbull
2014-12-22  9:56                     ` David Kastrup
2014-12-22 10:36                     ` Nic Ferrier
2014-12-22 11:56                       ` Jan Djärv
2014-12-22 12:49                         ` Lennart Borgman
2014-12-22 13:14                           ` David Kastrup
2014-12-22 13:21                           ` Jan Djärv
2014-12-22 13:29                             ` Lennart Borgman
2014-12-22 13:35                               ` Lennart Borgman
2014-12-22 14:27                                 ` David Engster
2014-12-22 14:33                                   ` Lennart Borgman
2014-12-22 14:39                                     ` David Engster
2014-12-22 14:44                                       ` Lennart Borgman
2014-12-22 14:54                                         ` David Engster
2014-12-22 15:00                                           ` Lennart Borgman
2014-12-22 22:18                                 ` Nic Ferrier
2014-12-22 18:33                               ` Jan Djärv
2014-12-22 13:57                         ` Tom
2014-12-22 14:17                           ` Lennart Borgman
2014-12-22 14:41                             ` Tom
2014-12-22 14:46                               ` Lennart Borgman
2014-12-22 18:36                           ` Jan Djärv
2014-12-22 22:22                         ` Nic Ferrier
2014-12-23  7:34                           ` Jan D.
2014-12-23 15:34                             ` Richard Stallman
2014-12-23 15:49                               ` Lennart Borgman
2014-12-24  9:55                                 ` Richard Stallman
2014-12-22 15:52                       ` Eli Zaretskii
2014-12-22 22:06                         ` Nic Ferrier
2014-12-23  3:53                           ` Eli Zaretskii
2014-12-23  7:58                             ` Nic Ferrier
2014-12-23 18:26                               ` Eli Zaretskii
2014-12-23 15:32                             ` Richard Stallman
2014-12-23 16:00                               ` David Kastrup
2014-12-23 16:39                                 ` Stephen J. Turnbull
2014-12-24  9:56                                 ` Richard Stallman
2014-12-23 18:48                               ` Eli Zaretskii
2014-12-24  9:56                                 ` Richard Stallman
2014-12-24 16:33                                   ` Eli Zaretskii
2014-12-24 16:54                                     ` Lennart Borgman
2014-12-23 19:26                               ` Nic Ferrier
2014-12-23 17:02                             ` Stefan Monnier
2014-12-23 17:18                               ` Dmitry Gutov
2014-12-23 19:32                                 ` Nic Ferrier
2014-12-23 21:20                                   ` Dmitry Gutov
2014-12-23 22:16                                     ` Nic Ferrier
2014-12-24  0:23                                       ` David Kastrup
2014-12-24  9:56                                       ` Richard Stallman
2014-12-24 11:36                                         ` Nic Ferrier
2014-12-24 18:00                                           ` Richard Stallman
2014-12-26 11:07                                             ` Steinar Bang
2014-12-26 16:48                                               ` Lennart Borgman
2014-12-26 19:20                                                 ` Steinar Bang
2014-12-26 21:52                                                   ` Lennart Borgman
2014-12-27 11:04                                                     ` Steinar Bang
2014-12-27 13:40                                                       ` Phillip Lord
2014-12-28 12:53                                                         ` Steinar Bang
2014-12-26 21:56                                               ` Richard Stallman
2014-12-24  9:56                                   ` Richard Stallman
2014-12-24  2:37                                 ` Stefan Monnier
2014-12-23 18:57                               ` Eli Zaretskii
2014-12-23 19:40                                 ` Nic Ferrier
2014-12-23 20:41                                   ` Eli Zaretskii
2014-12-23 21:09                                     ` Nic Ferrier
2014-12-24 16:12                                       ` Eli Zaretskii
2014-12-25 15:39                                         ` Richard Stallman
2014-12-25 15:49                                           ` Nic Ferrier
2014-12-26 11:11                                             ` Richard Stallman
2014-12-26 22:07                                               ` Nic Ferrier
2014-12-27 22:54                                                 ` Richard Stallman
2014-12-27 23:00                                                   ` Lennart Borgman
2014-12-28 23:57                                                     ` Richard Stallman
2014-12-27 23:31                                                   ` Nic Ferrier
2014-12-28  7:13                                                     ` David Kastrup
2014-12-28  9:59                                                       ` Nic Ferrier
2014-12-28 12:49                                                         ` Steinar Bang
2014-12-28 23:58                                                         ` Richard Stallman
2014-12-29  0:15                                                           ` Nic Ferrier
2014-12-29 22:34                                                         ` Filipp Gunbin
2014-12-30  8:59                                                           ` soap-client (Was: HTML-Info design) Michael Albinus
2014-12-28 10:06                                                       ` HTML-Info design David Kastrup
2014-12-28 12:34                                                         ` Nic Ferrier
2014-12-28 13:06                                                           ` David Kastrup
2014-12-28 14:08                                                             ` Nic Ferrier
2014-12-28 23:57                                                     ` Richard Stallman
2014-12-29  0:08                                                       ` Nic Ferrier
2014-12-28  1:10                                                   ` Stefan Monnier
2014-12-28 10:04                                                     ` Nic Ferrier
2014-12-28 13:36                                                     ` Lars Ingebrigtsen
2014-12-28 14:13                                                       ` Nic Ferrier
2014-12-28 14:20                                                         ` David Kastrup
2014-12-28 15:00                                                           ` Lars Ingebrigtsen
2014-12-28 16:44                                                             ` Nic Ferrier
2014-12-28 17:31                                                               ` Ivan Shmakov
2014-12-28 18:00                                                                 ` Search engines (was: HTML-Info design) Lars Ingebrigtsen
2014-12-28 18:47                                                                   ` Lennart Borgman
2014-12-29 16:28                                                                   ` Eli Zaretskii
2014-12-29 16:37                                                                     ` Search engines Lars Ingebrigtsen
2014-12-29 17:52                                                                       ` Lennart Borgman
2014-12-28 14:57                                                         ` HTML-Info design Lars Ingebrigtsen
2014-12-28 16:54                                                           ` Nic Ferrier
2014-12-28 17:24                                                             ` Lars Ingebrigtsen
2014-12-28 19:43                                                               ` Steinar Bang
2014-12-28 20:00                                                                 ` Lars Ingebrigtsen
2014-12-28 21:25                                                                   ` Steinar Bang
2014-12-28 21:45                                                                     ` [OT] HTML5 Ivan Shmakov
2014-12-29  3:31                                                                   ` HTML-Info design Yuri Khan
2014-12-29 11:40                                                                     ` Lars Ingebrigtsen
2014-12-29 12:12                                                                       ` Nic Ferrier
2014-12-29 12:18                                                                         ` David Kastrup
2014-12-29 14:40                                                                           ` Steinar Bang
2014-12-29 12:31                                                                         ` Lars Ingebrigtsen
2014-12-29 14:24                                                                           ` Ivan Shmakov
2014-12-29 14:35                                                                           ` Steinar Bang
2014-12-29 14:36                                                                       ` Yuri Khan
2014-12-29 10:59                                                                 ` Thien-Thi Nguyen
2015-02-26 23:43                                                                   ` Thien-Thi Nguyen
2015-03-02 17:20                                                                     ` Phillip Lord
2015-03-02 17:45                                                                       ` Yuri Khan
2015-03-02 17:58                                                                         ` Phillip Lord
2015-03-02 18:12                                                                           ` Yuri Khan
2015-03-04 12:19                                                                             ` Phillip Lord
2015-03-04 12:51                                                                               ` Yuri Khan
2014-12-29  0:14                                                             ` Stefan Monnier
2014-12-29  9:18                                                               ` Achim Gratz
2014-12-29 13:49                                                                 ` Stefan Monnier
2014-12-29 13:50                                                                 ` Stefan Monnier
2014-12-29 14:06                                                                 ` Stefan Monnier
2014-12-29 23:24                                                               ` Richard Stallman
2014-12-28 19:45                                                         ` Ivan Shmakov
2014-12-28 20:51                                                       ` Stefan Monnier
2014-12-28 21:08                                                         ` David Kastrup
2014-12-28 21:32                                                           ` Saving default font? (was: HTML-Info design) David Kastrup
2014-12-28 21:39                                                             ` Saving default font? Lars Ingebrigtsen
2014-12-28 23:04                                                         ` HTML-Info design Lars Ingebrigtsen
2014-12-28 23:08                                                           ` Lars Ingebrigtsen
2014-12-28 23:45                                                             ` Paul Eggert
2014-12-29  0:01                                                               ` Nic Ferrier
2014-12-29 11:35                                                               ` Lars Ingebrigtsen
2014-12-29  3:32                                                           ` Eli Zaretskii
2014-12-29  7:28                                                             ` Steinar Bang
2014-12-29 10:48                                                               ` Lars Ingebrigtsen
2014-12-29 15:51                                                               ` Eli Zaretskii
2014-12-29  7:55                                                             ` bug#19462: shr: use wrap-prefix when possible, instead of filling the text Ivan Shmakov
2014-12-29  9:55                                                               ` Ivan Shmakov
2014-12-29 14:17                                                               ` word-wrap and wrapping before window-width (was: bug#19462: shr: use wrap-prefix when possible, instead of filling the text) Stefan Monnier
2014-12-29 15:01                                                                 ` word-wrap and wrapping before window-width Ivan Shmakov
2014-12-29 20:02                                                                   ` Eli Zaretskii
2014-12-30  3:12                                                                     ` Stefan Monnier
2014-12-30 18:50                                                                       ` Eli Zaretskii
2014-12-31  2:56                                                                         ` Ivan Shmakov
2014-12-30 17:47                                                                     ` Stefan Monnier
2014-12-31  3:17                                                                     ` Ivan Shmakov
2014-12-31  3:44                                                                       ` Eli Zaretskii
2014-12-31  6:15                                                                         ` Ivan Shmakov
2014-12-31 16:20                                                                           ` Eli Zaretskii
2014-12-31 16:37                                                                             ` Ivan Shmakov
2014-12-31 17:18                                                                               ` Eli Zaretskii
2014-12-31 17:55                                                                                 ` Ivan Shmakov
2014-12-31 18:38                                                                                   ` Eli Zaretskii
2014-12-31 18:57                                                                                     ` Ivan Shmakov
2014-12-31 19:10                                                                                       ` Eli Zaretskii
2014-12-29 19:59                                                                 ` word-wrap and wrapping before window-width (was: bug#19462: shr: use wrap-prefix when possible, instead of filling the text) Eli Zaretskii
2014-12-30  3:04                                                                   ` word-wrap and wrapping before window-width Stefan Monnier
2015-12-25 17:34                                                               ` bug#19462: shr: use wrap-prefix when possible, instead of filling the text Lars Ingebrigtsen
2015-12-25 18:43                                                                 ` Clément Pit--Claudel
2015-12-25 18:55                                                                   ` Lars Ingebrigtsen
2015-12-25 22:48                                                                     ` Clément Pit--Claudel
     [not found]                                                               ` <87bn9ezb2h.fsf__43673.6617972658$1451064984$gmane$org@gnus.org>
2015-12-26  9:13                                                                 ` Ivan Shmakov
2014-12-29 10:41                                                             ` HTML-Info design Lars Ingebrigtsen
2014-12-29 11:25                                                               ` Ivan Shmakov
2014-12-29 11:33                                                                 ` Lars Ingebrigtsen
2014-12-29 12:20                                                                   ` Ivan Shmakov
2014-12-29 12:36                                                                     ` Lars Ingebrigtsen
2014-12-29 13:13                                                                       ` Lennart Borgman
2014-12-29 13:45                                                                       ` Ivan Shmakov
2014-12-29 13:56                                                                         ` Lars Ingebrigtsen
2014-12-29 14:02                                                                           ` Lennart Borgman
2014-12-29 16:25                                                                             ` Lars Ingebrigtsen
2014-12-29 14:35                                                                           ` Ivan Shmakov
2014-12-29 16:11                                                                         ` Eli Zaretskii
2014-12-29 16:33                                                                           ` Lars Ingebrigtsen
2014-12-29 18:21                                                                           ` Stefan Monnier
2014-12-29 18:35                                                                             ` Ivan Shmakov
2014-12-29 23:16                                                                               ` Stefan Monnier
2014-12-30  5:47                                                                                 ` Ivan Shmakov
2014-12-29 16:06                                                                     ` Eli Zaretskii
2014-12-29 18:17                                                                       ` shr: tables Ivan Shmakov
2014-12-29 16:49                                                                     ` HTML-Info design Yuri Khan
2014-12-29 16:04                                                               ` Eli Zaretskii
2014-12-29 16:32                                                                 ` Lars Ingebrigtsen
2014-12-29 17:13                                                                   ` Yuri Khan
2014-12-29 17:44                                                                   ` Eli Zaretskii
2015-01-25  0:01                                                                     ` Lars Ingebrigtsen
2015-01-25 16:06                                                                       ` Eli Zaretskii
2015-01-26  2:16                                                                         ` Lars Ingebrigtsen
2015-01-26  6:20                                                                           ` Eli Zaretskii
2015-01-26  6:52                                                                             ` Lars Ingebrigtsen
2015-01-27  1:26                                                                             ` Lars Ingebrigtsen
2015-01-27 18:15                                                                               ` Eli Zaretskii
2015-01-28  2:27                                                                                 ` Lars Ingebrigtsen
2015-01-28 15:26                                                                                   ` Eli Zaretskii
2015-01-28  3:27                                                                                 ` Pixel-based display functions (was: HTML-Info design) Lars Ingebrigtsen
2015-01-28  7:16                                                                                   ` Pixel-based display functions Thien-Thi Nguyen
2015-01-28 15:33                                                                                     ` Eli Zaretskii
2015-01-28  8:04                                                                                   ` Ivan Shmakov
2015-01-28 10:30                                                                                     ` Lars Ingebrigtsen
2015-01-28 19:20                                                                                     ` Stefan Monnier
2015-01-28 19:29                                                                                       ` Eli Zaretskii
2015-01-28 21:35                                                                                         ` Stefan Monnier
2015-01-29  1:00                                                                                           ` Lars Ingebrigtsen
2015-01-29  4:08                                                                                             ` Stefan Monnier
2015-01-29  6:55                                                                                               ` Lars Ingebrigtsen
2015-01-29 13:30                                                                                                 ` Lars Ingebrigtsen
2015-01-30  6:37                                                                                                   ` Lars Ingebrigtsen
2015-01-30  6:52                                                                                                     ` Eli Zaretskii
2015-01-30  7:27                                                                                                       ` Lars Ingebrigtsen
2015-01-30  9:10                                                                                                         ` Eli Zaretskii
2015-01-30 10:20                                                                                                           ` Andreas Schwab
2015-01-30 11:15                                                                                                             ` Eli Zaretskii
2015-01-30 11:28                                                                                                           ` Lars Ingebrigtsen
2015-01-30 11:56                                                                                                             ` Eli Zaretskii
2015-01-30 15:28                                                                                                               ` Eli Zaretskii
2015-01-30 18:02                                                                                                                 ` Stefan Monnier
2015-01-30 21:36                                                                                                                   ` Eli Zaretskii
2015-01-31  6:25                                                                                                                     ` Stefan Monnier
2015-01-31  6:59                                                                                                                       ` Lars Ingebrigtsen
2015-01-31  7:57                                                                                                                         ` Eli Zaretskii
2015-02-01  1:26                                                                                                                           ` Lars Ingebrigtsen
2015-01-31  7:36                                                                                                                       ` Eli Zaretskii
2015-01-31 20:33                                                                                                                         ` Stefan Monnier
2015-01-31 21:37                                                                                                                           ` martin rudalics
2015-02-01  1:18                                                                                                                             ` Lars Ingebrigtsen
2015-02-01  1:40                                                                                                                               ` Lars Ingebrigtsen
2015-02-01  8:51                                                                                                                                 ` martin rudalics
2015-02-01 12:31                                                                                                                                   ` Lars Ingebrigtsen
2015-02-01 12:52                                                                                                                                     ` martin rudalics
2015-02-01 15:52                                                                                                                                       ` Eli Zaretskii
2015-02-01 16:30                                                                                                                                         ` martin rudalics
2015-02-01 17:31                                                                                                                                           ` Eli Zaretskii
2015-02-01 18:09                                                                                                                                             ` martin rudalics
2015-02-01 18:36                                                                                                                                               ` Eli Zaretskii
2015-02-01 18:42                                                                                                                                                 ` Eli Zaretskii
2015-02-05  4:17                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-05 14:01                                                                                                                                                     ` Stefan Monnier
2015-02-06  1:17                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-06  7:28                                                                                                                                                         ` martin rudalics
2015-02-06  9:39                                                                                                                                                           ` Lars Ingebrigtsen
2015-02-06  9:58                                                                                                                                                             ` Eli Zaretskii
2015-02-06 10:02                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-06 13:30                                                                                                                                                                 ` Eli Zaretskii
2015-02-06  7:45                                                                                                                                                         ` Eli Zaretskii
2015-02-06  9:47                                                                                                                                                           ` Lars Ingebrigtsen
2015-02-06 14:12                                                                                                                                                             ` Eli Zaretskii
2015-02-06 15:22                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-06 15:42                                                                                                                                                                 ` Eli Zaretskii
2015-02-06 16:03                                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-07  4:07                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-07  5:22                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-07  8:09                                                                                                                                                                         ` Eli Zaretskii
2015-02-07  9:10                                                                                                                                                                           ` Lars Ingebrigtsen
2015-02-07  9:42                                                                                                                                                                             ` Eli Zaretskii
2015-02-07  9:57                                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-07 10:18                                                                                                                                                                                 ` Eli Zaretskii
2015-02-07 10:27                                                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-07 15:16                                                                                                                                                                                     ` Stefan Monnier
2015-02-07 10:25                                                                                                                                                                                 ` Display of images in eww (was: Pixel-based display functions) Eli Zaretskii
2015-02-07 10:33                                                                                                                                                                                   ` Display of images in eww Lars Ingebrigtsen
2015-02-07  9:50                                                                                                                                                                             ` Pixel-based display functions Lars Ingebrigtsen
2015-02-07 11:45                                                                                                                                                                             ` martin rudalics
2015-02-07 12:01                                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-07 12:11                                                                                                                                                                                 ` Eli Zaretskii
2015-02-07 12:27                                                                                                                                                                                 ` martin rudalics
2015-02-07 12:02                                                                                                                                                                               ` Eli Zaretskii
2015-02-07 12:28                                                                                                                                                                                 ` martin rudalics
2015-02-07 12:52                                                                                                                                                                                   ` Eli Zaretskii
2015-02-07 13:51                                                                                                                                                                                     ` martin rudalics
2015-02-07 14:03                                                                                                                                                                                       ` Eli Zaretskii
2015-02-07 19:26                                                                                                                                                                                         ` martin rudalics
2015-02-07 11:37                                                                                                                                                                   ` Eli Zaretskii
2015-02-07 11:59                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-07 12:20                                                                                                                                                                       ` Eli Zaretskii
2015-02-07 12:10                                                                                                                                                                     ` Eli Zaretskii
2015-02-07 12:16                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-07 12:42                                                                                                                                                                         ` Lars Ingebrigtsen
2015-02-07 13:08                                                                                                                                                                           ` Eli Zaretskii
2015-02-07 13:21                                                                                                                                                                             ` Lars Ingebrigtsen
2015-02-08 18:37                                                                                                                                                                           ` Eli Zaretskii
2015-02-09  4:12                                                                                                                                                                             ` Lars Ingebrigtsen
2015-02-09 16:36                                                                                                                                                                               ` Eli Zaretskii
2015-02-10  4:48                                                                                                                                                                                 ` Lars Ingebrigtsen
2015-02-10  6:07                                                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-10  6:11                                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-10  7:59                                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-10 15:53                                                                                                                                                                                     ` Eli Zaretskii
2015-02-11  5:32                                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-10 15:48                                                                                                                                                                                   ` Eli Zaretskii
2015-02-11  5:31                                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-11 15:49                                                                                                                                                                                       ` Eli Zaretskii
2015-02-18  1:17                                                                                                                                                                                         ` Lars Ingebrigtsen
2015-02-18  3:45                                                                                                                                                                                           ` Eli Zaretskii
2015-02-18  5:53                                                                                                                                                                                             ` Stefan Monnier
2015-02-18 15:29                                                                                                                                                                                               ` Eli Zaretskii
2015-02-19  5:51                                                                                                                                                                                                 ` Lars Ingebrigtsen
2015-02-06 15:18                                                                                                                                                             ` Stefan Monnier
2015-02-06 15:37                                                                                                                                                               ` Eli Zaretskii
2015-02-01 16:00                                                                                                                                       ` martin rudalics
2015-02-02  9:47                                                                                                                                         ` Lars Ingebrigtsen
2015-02-05  4:37                                                                                                                                           ` Lars Ingebrigtsen
2015-02-05  9:38                                                                                                                                             ` martin rudalics
2015-02-05 16:09                                                                                                                                               ` Eli Zaretskii
2015-02-06  7:28                                                                                                                                                 ` martin rudalics
2015-02-06  9:58                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-06 13:02                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-06 13:28                                                                                                                                                     ` Eli Zaretskii
2015-02-06 15:13                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-06 15:29                                                                                                                                                         ` Matthew Carter
2015-02-12 12:32                                                                                                                                                           ` Rebinding local keys Alan Schmitt
2015-02-13  6:15                                                                                                                                                           ` Pixel-based display functions Lars Ingebrigtsen
2015-02-01  3:36                                                                                                                           ` Eli Zaretskii
2015-02-01  6:28                                                                                                                             ` Stefan Monnier
2015-02-01 15:37                                                                                                                               ` Eli Zaretskii
2015-02-02  9:46                                                                                                                                 ` Lars Ingebrigtsen
2015-02-02 15:58                                                                                                                                   ` Eli Zaretskii
2015-02-02 16:43                                                                                                                                 ` Stefan Monnier
2015-02-02 17:21                                                                                                                                   ` Eli Zaretskii
2015-02-02 23:16                                                                                                                                     ` Stefan Monnier
2015-01-31  0:42                                                                                                                 ` Lars Ingebrigtsen
2015-01-31  7:24                                                                                                                   ` Eli Zaretskii
2015-01-31  9:04                                                                                                                 ` Andreas Schwab
2015-01-31 10:01                                                                                                                   ` Eli Zaretskii
2015-01-31 10:15                                                                                                                     ` Andreas Schwab
2015-01-31 11:08                                                                                                                       ` Eli Zaretskii
2015-01-31 12:04                                                                                                                         ` Alexis
2015-01-31 12:41                                                                                                                           ` Eli Zaretskii
2015-01-31 13:25                                                                                                                             ` Andreas Schwab
2015-01-31 14:26                                                                                                                               ` Eli Zaretskii
2015-01-31 13:37                                                                                                                             ` Alexis
2015-01-31 14:30                                                                                                                               ` Eli Zaretskii
2015-01-31 14:23                                                                                                                         ` Artur Malabarba
2015-01-31 15:35                                                                                                                           ` Eli Zaretskii
2015-01-31 14:55                                                                                                                         ` Stephen J. Turnbull
2015-01-31 15:39                                                                                                                           ` Eli Zaretskii
2015-02-01 17:21                                                                                                                             ` Stephen J. Turnbull
2015-01-28 15:27                                                                                   ` Eli Zaretskii
2015-01-29  0:37                                                                                     ` Lars Ingebrigtsen
2014-12-29 23:23                                                           ` HTML-Info design Richard Stallman
2014-12-29 23:02                                                       ` Juri Linkov
2014-12-28 23:57                                                     ` Richard Stallman
2014-12-29  0:13                                                       ` Nic Ferrier
2014-12-29  3:39                                                         ` Eli Zaretskii
2014-12-29 13:45                                                       ` Stefan Monnier
2014-12-29 23:24                                                         ` Richard Stallman
2014-12-29  0:59                                                   ` Juri Linkov
2014-12-29 14:12                                                     ` Stefan Monnier
2014-12-29 14:26                                                       ` Lars Magne Ingebrigtsen
2014-12-29 14:43                                                       ` Nic Ferrier
2014-12-29 18:24                                                         ` Stefan Monnier
2014-12-29 23:24                                                     ` Richard Stallman
2014-12-30  0:09                                                       ` Lennart Borgman
2014-12-30 19:51                                                         ` Richard Stallman
2014-12-30 20:06                                                           ` Lennart Borgman
2014-12-23 22:42                                     ` Lennart Borgman
2014-12-24  0:16                                     ` David Kastrup
2014-12-24  9:56                                       ` Richard Stallman
2014-12-24 12:33                                         ` Ted Zlatanov
2014-12-24 18:00                                           ` Richard Stallman
2014-12-24 18:38                                             ` Ted Zlatanov
2014-12-25 15:39                                               ` Richard Stallman
2014-12-24  2:31                                 ` Stefan Monnier
2014-12-24  3:36                               ` Stephen J. Turnbull
2014-12-23  4:33                           ` Stephen J. Turnbull
2014-12-23  7:57                             ` Nic Ferrier
2014-12-20 18:05           ` Have you all gone crazy? Was: On being web-friendly and why info must die Tom
2014-12-20 18:47             ` Stephen J. Turnbull
2014-12-20 18:58               ` Tom
2014-12-20 19:27                 ` Stephen J. Turnbull
2014-12-20 20:07                   ` Tom
2014-12-20 19:46             ` Lennart Borgman
2014-12-20 20:11               ` Tom
2014-12-21 19:23             ` Mike Gerwitz
2014-12-21 20:01               ` Tom
2014-12-21 21:05                 ` Drew Adams
2014-12-21 21:15                   ` David Kastrup
2014-12-21 21:32                     ` Tom
2014-12-21 22:23                       ` Drew Adams
2014-12-21 22:46                         ` David Kastrup
2014-12-21 23:12                           ` Drew Adams
2014-12-22  1:33                         ` Stephen J. Turnbull
2014-12-22  2:44                           ` Drew Adams
2014-12-22  6:25                             ` Stephen J. Turnbull
2014-12-22  9:18                               ` David Kastrup
2014-12-22  9:08                             ` David Kastrup
2014-12-21 23:12                       ` Harry Putnam
2014-12-22  3:36                       ` Eli Zaretskii
2014-12-22  3:54                         ` Lennart Borgman
2014-12-22  5:25                           ` Yuri Khan
2014-12-22 15:43                             ` Eli Zaretskii
2014-12-22 18:26                               ` Yuri Khan
2014-12-22 18:48                                 ` Eli Zaretskii
2014-12-23  7:26                                   ` Yuri Khan
2014-12-23  1:41                             ` Paul Eggert
2014-12-23  4:02                               ` Eli Zaretskii
2014-12-23  5:01                                 ` Stephen J. Turnbull
2014-12-23 18:23                                   ` Eli Zaretskii
2014-12-24  2:58                                     ` Stephen J. Turnbull
2014-12-24 16:18                                       ` Eli Zaretskii
2014-12-23  4:27                               ` Stephen J. Turnbull
2014-12-23  6:21                               ` Drew Adams
2014-12-23  7:32                                 ` Paul Eggert
2014-12-23 15:34                                   ` Richard Stallman
2014-12-23 17:25                                     ` Paul Eggert
2014-12-24  9:56                                       ` Richard Stallman
2014-12-23 18:51                                     ` Eli Zaretskii
2014-12-24  9:56                                       ` Richard Stallman
2014-12-23 18:25                                   ` Eli Zaretskii
2014-12-23 21:08                                     ` Paul Eggert
2014-12-24 10:09                                       ` Andy Moreton
2014-12-24 16:10                                       ` Eli Zaretskii
2014-12-22  6:41                           ` Stephen J. Turnbull
2014-12-22  9:33                             ` David Kastrup
2014-12-22 11:30                             ` Lennart Borgman
2014-12-22 12:08                               ` David Kastrup
2014-12-22 12:23                                 ` Lennart Borgman
2014-12-22 13:13                                   ` David Kastrup
2014-12-22 13:25                                     ` Lennart Borgman
2014-12-23  3:54                               ` Richard Stallman
2014-12-23  5:24                                 ` Lennart Borgman
2014-12-23 15:33                                   ` Richard Stallman
2014-12-23 16:24                                     ` Stephen J. Turnbull
2014-12-24  9:56                                       ` Richard Stallman
2014-12-25 15:46                                         ` Stephen J. Turnbull
2014-12-26 10:59                                           ` David Kastrup
2014-12-26 13:30                                             ` Tom
2014-12-26 13:57                                               ` David Kastrup
2014-12-26 15:08                                                 ` Lars Ingebrigtsen
2014-12-26 15:28                                                 ` Tom
2014-12-26 15:48                                                   ` David Kastrup
2014-12-26 15:39                                               ` Eli Zaretskii
2014-12-26 21:57                                               ` Richard Stallman
     [not found]                                               ` <<E1Y4ct2-0006JI-UI@fencepost.gnu.org>
2014-12-26 23:29                                                 ` Drew Adams
2014-12-27 22:54                                                   ` Richard Stallman
2014-12-27 23:03                                                     ` Lennart Borgman
2014-12-28  1:07                                                       ` Stefan Monnier
2014-12-28  1:52                                                         ` Lennart Borgman
2014-12-28 23:57                                                       ` Richard Stallman
2014-12-29  7:14                                                         ` Lennart Borgman
2014-12-29  7:33                                                           ` rekado
2014-12-29  7:49                                                             ` Lennart Borgman
2014-12-29 23:23                                                           ` Richard Stallman
2014-12-29 23:57                                                             ` Lennart Borgman
2014-12-30  7:05                                                               ` David Kastrup
2014-12-30  7:08                                                                 ` Lennart Borgman
     [not found]                                               ` <<<E1Y4ct2-0006JI-UI@fencepost.gnu.org>
     [not found]                                                 ` <<e89658d6-8630-441e-88c9-42dfa93c49db@default>
     [not found]                                                   ` <<E1Y50Fv-0003Kv-4k@fencepost.gnu.org>
2014-12-28  3:04                                                     ` Drew Adams
2014-12-26 11:11                                           ` Richard Stallman
2014-12-26 14:27                                             ` Stephen J. Turnbull
2014-12-22 15:44                             ` Eli Zaretskii
2014-12-23  0:29                               ` Stephen J. Turnbull
2014-12-23  3:57                                 ` Eli Zaretskii
2014-12-23  4:43                                   ` Stephen J. Turnbull
2014-12-23 14:52                                     ` Drew Adams
2014-12-23 15:31                                       ` Stephen J. Turnbull
2014-12-23 17:28                                         ` Drew Adams
2014-12-24  2:34                                           ` Stephen J. Turnbull
2014-12-24  9:44                                             ` David Kastrup
2014-12-24  9:55                                         ` Richard Stallman
2014-12-23 15:34                                     ` Richard Stallman
2014-12-23 18:48                                       ` Eli Zaretskii
2014-12-23 18:21                                     ` Eli Zaretskii
2014-12-24  2:45                                       ` Stephen J. Turnbull
2014-12-22  9:24                           ` David Kastrup
2014-12-22 15:42                           ` Eli Zaretskii
2014-12-22 16:03                             ` Tom
2014-12-22 16:11                               ` Lennart Borgman
2014-12-22 16:43                                 ` Eli Zaretskii
2014-12-22 16:42                               ` Eli Zaretskii
2014-12-23  0:35                                 ` Stephen J. Turnbull
2014-12-23  3:58                                   ` Eli Zaretskii
2014-12-23  4:47                                     ` Stephen J. Turnbull
2014-12-23 15:33                                       ` Richard Stallman
2014-12-23 18:22                                       ` Eli Zaretskii
2014-12-24  3:10                                         ` Stephen J. Turnbull
2014-12-21 21:44                     ` Drew Adams
2014-12-24  9:55                       ` Richard Stallman
2014-12-20 10:39       ` Eli Zaretskii
2014-12-21  5:18       ` Karl Fogel
2014-12-21  6:37         ` Stephen J. Turnbull
2014-12-21 14:40           ` Stefan Monnier
2014-12-21 18:50           ` Karl Fogel
2014-12-17 19:49 ` Jay Belanger
2014-12-17 22:17   ` Jose E. Marchesi
2014-12-17 21:16 ` Stefan Monnier

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20141223164911.GD5623@free.fr \
    --to=pertusus@free.fr \
    --cc=bug-texinfo@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=yuri.v.khan@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).