[Texmacs-dev] Guile-1.8.1 - remaining bug in docgrep

[Norbert Nemec]

It seems there is a incompatibility left in the port to guile-1.8.1:

When searching the documentation (Help|Search|Documentation), I get a 
guile error and no result. A backtrace points me to the file 
TeXmacs/progs/doc/docgrep.scm, line 94, in routine 'docgrep', reading:
   (l3 (append-map (cut string-tokenize <> #\:) l2)))
It seems like the characters #\: do not work for guile-1.8.1.

Unfortunately, I do not know enough scheme to fix this problem properly 
and can only pass it on like this. :-(

Greetings,
Norbert