Hi,

I have been playing around with Recoll a bit. Recoll is an indexing software that allows to search indexed files fast on multiple platforms. While it is trivially simple to just treat TeXmacs files like ordinary text files, that is not the most appropriate way to index them.

The most natural candidate for a "detexmacs" command that strips formatting data and such out of the text would be to call texmacs with the -c and -q option.

Unfortunately, that process is rather slow and takes a couple of seconds for each file, even if it is just a couple of lines. texmacs -q still does initialization, starting the GUI window, converting  and closing the window again.

While this is kind of ok, when you have only a couple of documents, I'd rather have a quicker and probably more light weight way to do that conversion.

Has someone worked in that direction already or a simple tip?

Thanks in advance,

Ingolf