Hi Andreas,

    /bin/sh: line 11: etags: command not found

I somehow thought presence of etags was already tested for, but
obviously not. Anyway, I'll look into it as soon as I can.
Thanks for the report. --karl




Reply via email to