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
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