2008/8/20 Valentin Villenave <[EMAIL PROTECTED]>: > have you guys encountered any problem when launching "make uninstall" as root? > > when I do so (Mandriva 2009 x86_64), it ends with the following errors: > > cannot remove directory: the directory is not empty [on several > directories, see below] > > /bin/sh: line 2: -rmdir: command not found > > and there are quite a few directories left in my tree:
I haven't used this make target for years, so I don't remember, but I don't recall it was so buggy. I'll look at this and add web-uninstall sooner or later (as soon as all broken links in HTML translations are fixed, I guess). > Isn't there any rm -rf missing in the uninstaller? You mean "in the makefiles", don't you? ;-) Best, John _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org http://lists.gnu.org/mailman/listinfo/bug-lilypond