• Re: Documentation (man, info, etc.) (was Re: The Bash =?UTF-8?Q?Hacker=E2=80=99s?= Wiki)

    From Kaz Kylheku@643-408-1753@kylheku.com to comp.unix.shell on Sat Aug 23 20:16:09 2025
    From Newsgroup: comp.unix.shell

    On 2025-08-23, Jim <zsd@jdvb.ca> wrote:
    On 2025-08-22 at 20:05 ADT, Janis Papanagnou <janis_papanagnou+ng@hotmail.com> wrote:
    On 23.08.2025 00:40, Keith Thompson wrote:

    Yes. I think that for some GNU tools, the info and man documents
    contain the same information. For others, the man page is just a brief
    summary, sometimes generated from "--help" output with "help2man".

    I've meanwhile looked also into the size of the man pages...

    Number of man pages with number of lines
    512 with 1..40 lines
    1641 with 41..200 lines
    781 with 201..1000 lines
    159 with 1001..5000 lines
    28 with 5001..20000 lines

    That doesn't appear to be just irrelevant information, at least.

    Is that 20000 tight? That is, are there man pages that big, or did your histogramization (?) arbitrarily pick 20000?

    $ man txr | wc
    46266 382645 2775327

    No, hold it, correction. I have a wide terminal. We have to measure
    using the 80 column standard:

    $ MANWIDTH=80 man txr | wc
    67616 386241 3110809

    That's more like it!
    --
    TXR Programming Language: http://nongnu.org/txr
    Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
    Mastodon: @Kazinator@mstdn.ca
    --- Synchronet 3.21b-Linux NewsLink 1.2
  • From Keith Thompson@Keith.S.Thompson+u@gmail.com to comp.unix.shell on Sat Aug 23 15:31:06 2025
    From Newsgroup: comp.unix.shell

    Kaz Kylheku <643-408-1753@kylheku.com> writes:
    On 2025-08-23, Jim <zsd@jdvb.ca> wrote:
    On 2025-08-22 at 20:05 ADT, Janis Papanagnou <janis_papanagnou+ng@hotmail.com> wrote:
    On 23.08.2025 00:40, Keith Thompson wrote:

    Yes. I think that for some GNU tools, the info and man documents
    contain the same information. For others, the man page is just a brief >>>> summary, sometimes generated from "--help" output with "help2man".

    I've meanwhile looked also into the size of the man pages...

    Number of man pages with number of lines
    512 with 1..40 lines
    1641 with 41..200 lines
    781 with 201..1000 lines
    159 with 1001..5000 lines
    28 with 5001..20000 lines

    That doesn't appear to be just irrelevant information, at least.

    Is that 20000 tight? That is, are there man pages that big, or did your
    histogramization (?) arbitrarily pick 20000?

    $ man txr | wc
    46266 382645 2775327

    No, hold it, correction. I have a wide terminal. We have to measure
    using the 80 column standard:

    $ MANWIDTH=80 man txr | wc
    67616 386241 3110809

    That's more like it!

    I don't have txr on my system, but :

    $ MANWIDTH=80 man ffmpeg-all 2>/dev/null | wc
    49196 210446 1764012

    That omits the troff "cannot break line" and "cannot adjust line"
    warnings.
    --
    Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
    void Void(void) { Void(); } /* The recursive call of the void */
    --- Synchronet 3.21b-Linux NewsLink 1.2