On Sun, Nov 24, 2002 at 06:18:15AM +0800, Dan Jacobson wrote:
Therefore folks should make top Info nodes with proper headers. How about a debian Info pages policy.
Mike Stone