Re: Bug#814743: [regression?] output of info --output without argument

2016-02-14 Thread Vincent Lefevre
On 2016-02-15 11:07:00 +0900, Norbert Preining wrote: > Dear all, > > (please keep Cc) > > it seems that info 6.1 lost the ability to dump the start page > into an output file: > > $ info --output foobar coreutils > > properly dumps the coreutils page into foobar, but > > $ info --

[regression?] output of info --output without argument

2016-02-14 Thread Norbert Preining
Dear all, (please keep Cc) it seems that info 6.1 lost the ability to dump the start page into an output file: $ info --output foobar coreutils properly dumps the coreutils page into foobar, but $ info --output foobar does *not* dump the dir/root node. This breaks completion

Re: use id="xx" instead of in html output

2016-02-14 Thread Gavin Smith
On 12 February 2016 at 07:48, Per Bothner wrote: > Browsers generally ignore tags they don't understand, so I believe > there is no harm in using instead of , even for older > browsers. However, this would need to be tested. I don't like the idea even if it would work - I'd rather we output val

Re: use id="xx" instead of in html output

2016-02-14 Thread Gavin Smith
On 9 February 2016 at 20:07, Per Bothner wrote: > Using "id" makes sense when it is the name of a sub-tree, like a chapter > or section, since it can be directly associated with an element that > represents the subtree. > > Using is reasonable when it is the name of a *position*, > as resulting