| commit | a30c89bdf85e7e304b0fbe8c8139aba82ee92b8b | [log] [tgz] |
|---|---|---|
| author | Gavin Smith <gavinsmith0123@gmail.com> | Tue Dec 30 12:01:47 2025 +0000 |
| committer | Gavin Smith <gavinsmith0123@gmail.com> | Tue Dec 30 12:02:11 2025 +0000 |
| tree | 9feff7282bbbab66d12067d09ab62fa7e16cfc5f | |
| parent | 374711a1f56b6d43d2dd6dd1ee94a2d25185797e [diff] |
info: Fix outputting manpage to file * info/info.c (info_session_or_dump_one_node): New function, wrapping info_session_one_node. Dump node to output file if --output given or info output was piped. (main): Call info_session_or_dump_one_node both for manpage nodes and for "virtual index" nodes. This fixes piping the output of 'info' when a manpage is loaded, as in "info man | head". Report from Arne Babenhauserheide.