[DVDnav-discuss] failure with sudo make install

Ran into this oddity today, trying to install libdvdnav from src. $ ./configure2 Done, type 'make install' to build and install $ sudo make install ... install -s -m 755 obj/libdvdnav.so \ /usr/local/lib/libdvdnav.so.4.2.0 install -s -m 755 obj/libdvdnavmini.so \ /usr/local/lib/libdvdnavmini.so.4.2.0 install: cannot stat `obj/libdvdnavmini.so': No such file or directory make: *** [install-shared] Error 1 however, it works fine if I do $ ./configure2 $ make then $ sudo install Just thought I'd mention it, since it seemed a bit odd. Thanks. -roger