Re: remove Jed_Doc_Files

["G. Milde" <g.milde@xxxxxx>]

On  9.05.06, John E. Davis wrote:
> G. Milde <g.milde@xxxxxx> wrote:
> >John, do you think the tm language could provide a 
> >
> > \source{some-file}
> > 
> >command? (Is there something like this available already? Could
> >it be added?)
> 
> Currently, sl2tm, which strips the tm documentation from the .sl files
> produces filenames and linenumbers as tm comments. 
... 
> It would have to be modified to produce some sort of a tag.  

In addition to this, this new "sort of a tag" had to be defined as tm
syntax and the tm2<something> converters had to be modified to handle it.

Alternatively, an existing syntax could be used (like e.g. adding the
source to the \notes)

> sl2tm.c may be found in doc/tm/tools/ directory of the slang
> distribution.

For my private extensions (in ~/.jed/lib) I use tm_extract(), the SLang
version of the extractor and the converter tm_parse(). Both from
jedmodes.sf.net/mode/tm/. Before modifying these functions, I want to be
sure to keep in sync with the "official" syntax of the tm language.


Günter


-- 
Milde ife.et.tu-dresden.de

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.