[DVDnav-discuss] failure with sudo make install

[Roger Pack]

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