On Thu, Nov 28, 2024 at 04:12:05PM CET, Richard Owlett <rowl...@access.net> said: > On 11/28/24 8:52 AM, Max Nikulin wrote: > > On 28/11/2024 11:13, David Wright wrote: > > > $ man -t bash | ps2pdf - /tmp/bash.pdf > > > > What is the point in converting man when the same content is available > > as texinfo source? Moreover, PDF file is ready to use: > > > > /usr/share/doc/bash-doc/bash.html > > /usr/share/doc/bash-doc/bash.pdf > > /usr/share/doc/bash-doc/bashref.html > > /usr/share/doc/bash-doc/bashref.pdf > ??????????????????! > /usr/share/doc/bash-doc/ does *NOT* exist on my Debian 12.7 machine > All defaults were accepted during install.
It is in the bash-doc package, which is optional -- Erwan David