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 <[email protected]> - 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)
