* Bob Hilliard <[EMAIL PROTECTED]> wrote [030830 15:33]: > The jargon file is no longer distributed as a text file, which is > what I have used as source for dict-jargon. The file has been > converted to XML, using the Docbook XSL. It is now distributed as > an HTML tarball and as a tarball containing the "masters and the > production tools used to generate HTML and TeX versions". These are > available from http://catb.org/~esr/jargon/jargsrc.tar.gz and > http://catb.org/~esr/jargon/jargomn-4.4.4.tar.gz.
The 'Makefile' includes a target 'jargon.txt'. Given you have installed the 'xmlto' package it should be quite easy to generate a text file out of the distribution tarball. You might have to figure out where some used tools (e.g. 'name-extract') come from. Michael -- [EMAIL PROTECTED] http://www.miwie.org [EMAIL PROTECTED] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
