I've had a chance now to look through the source code and it is not possible to have a local directory supplement the default directory.

I have an idea for a patch to fix this, although the other problem I described (in a second email) are more pressing at this point.

Regards,

Matt



_______________________________________________
Help-source-highlight mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-source-highlight

Reply via email to