[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: How to handle the jargon file?

On Wed, May 26, 1999 at 07:11:49PM +0100, Edward Betts wrote:
> On Wed, 26 May, 1999, Dave Swegen wrote:
> > Just curious really, but which format does the dict-jargon package
> > use?
> None, I forgot about that one, it uses its own format. So that is
> ANOTHER version of jargon, I presume it is still 4.0.0 and not yet
> updated to 4.1.2

my feeling is that the dict format is the best format to use for the
jargon dictionary - then it works for command-line queries and can be
wrapped in a cgi for html output.

maybe esr could be convinced to use dict as the 'source' format and
generate html or whatever else from that?


craig sanders

Reply to: