[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new groff output
|
From: |
Karl Berry |
|
Subject: |
Re: new groff output |
|
Date: |
Fri, 8 Mar 2002 10:20:03 -0500 |
PS: Short options are not shown if I say `info --help'.
Always before, short options were not supported or documented.
I guess -R is the first case otherwise. So it should be in --help.
I'll fix that.
And info.1 is completely out of date...
Specifically what is out of date? It looks to be correctly generated
from the current --help to me.