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?