@quotation and @indentedblock in html and DocBook

2014-12-11 Thread Per Bothner
[Thanks for the @sup and @sub feature, btw!] May I suggest some tweaks for how @quotation and @indentedblock are translated? Currently, in HTML, @quotation becomes a , while @indentedblock becomes plain - and then we use CSS to indent. This fails if stylesheets are disabled, or the default CSS

Re: Separate compilation: Circumventing the speed hit of Texinfo-5

2014-12-11 Thread Gavin Smith
On Thu, Dec 11, 2014 at 3:45 AM, Eli Zaretskii wrote: > Perhaps the performance should be higher on the agenda than it > evidently is. > > Did someone try compiling the Perl code into C? > Not me, does anyone know how to do that? There is a chance for speedups with the current project to rewrite

Re: A command to indicate a canonical web resource

2014-12-11 Thread Gavin Smith
On Thu, Dec 11, 2014 at 8:48 AM, David Kastrup wrote: > The command is supposed to be a _single_ command per document without > any printed output in the Info. Its purpose is so that the Info reader > is able to propose a corresponding web link (containing the same > content) for the current Info

Re: A command to indicate a canonical web resource

2014-12-11 Thread David Kastrup
k...@freefriends.org (Karl Berry) writes: > Sorry, I can't follow how your suggestion is different than using an > anchor and Texinfo cross-manual reference. The command is supposed to be a _single_ command per document without any printed output in the Info. Its purpose is so that the Info read