[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info
From: |
Richard Stallman |
Subject: |
Re: info |
Date: |
Sat, 01 Feb 2003 17:11:19 -0500 |
I see at least three solutions that would be better than the algorithm
you propose:
Any of these three might be good.
Another idea is that any blank line ends the menu item.
That would do the right thing in the examples you showed me,
and it may well be that there are no blank lines in the middle
of single menu items.
- Re: info,
Richard Stallman <=