Bug#814743: info --output <file> doesn't output anything
On 2016-02-15 11:03:55 +0900, Norbert Preining wrote:
> Hi Vincent,
>
> On Sun, 14 Feb 2016, Vincent Lefevre wrote:
> > "info --output <file>" doesn't output anything:
>
> What should it do?
>
> From the manual:
> -o, --output=FILE
> output selected nodes to FILE.
>
> Do you expect that the entry screen is dumped?
Output the nodes corresponding to an empty selection[*] like with
older texinfo versions. IMHO, the --output option should just have
the effect to redirect the output to a file. So,
info
and
info -o <FILE>
should give the same data. Well, with texinfo 5.2, this option also
outputs a filename (e.g. /usr/share/info/dir); this is probably a
bug because this is not documented and texinfo 4.13 didn't do that.
[*] The man page says: "If it is not present, info merges all `dir'
files and shows the result."
> How was the behaviour before? (I never thought about using it
> in this way).
See above.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
Reply to: