[Ecls-list] make uninstall partially broken

[Adam Warner]

Hi Juan Jose Garcia Ripoll,

I'm not actually uninstalling ECL for good but removing it before
rebuilding it for a second time from a more permanent subdirectory.
I'm just reporting the result of running make uninstall:

# make uninstall
cd build; make uninstall
make[1]: Entering directory `/home/adam/t/ecl/ecls/build'
for i in ecl ecl-config; do rm -f /usr/local/bin/$i; done
rm -f -r /usr/local/lib/ecl
cd doc; make uninstall
make[2]: Entering directory `/home/adam/t/ecl/ecls/build/doc'
for k in ecl.info ecldev.info ; do \
  rm $k; \
  if [ -x /usr/sbin/install-info ]; then \
    /usr/sbin/install-info --delete $k; \
  fi; \
done
install-info: unknown option `--delete'
usage: install-info [--version] [--help] [--debug] [--maxwidth=nnn]
             [--section regexp title] [--infodir=xxx] [--align=nnn]
             [--calign=nnn] [--quiet] [--menuentry=xxx] [--info-dir=xxx]
             [--keep-old] [--description=xxx] [--test]
             [--remove | --remove-exactly ] [--dir-file]
             [--]
             filename
install-info: unknown option `--delete'
usage: install-info [--version] [--help] [--debug] [--maxwidth=nnn]
             [--section regexp title] [--infodir=xxx] [--align=nnn]
             [--calign=nnn] [--quiet] [--menuentry=xxx] [--info-dir=xxx]
             [--keep-old] [--description=xxx] [--test]
             [--remove | --remove-exactly ] [--dir-file]
             [--]
             filename
make[2]: *** [uninstall] Error 1
make[2]: Leaving directory `/home/adam/t/ecl/ecls/build/doc'
make[1]: *** [uninstall] Error 2
make[1]: Leaving directory `/home/adam/t/ecl/ecls/build'
make: *** [uninstall] Error 2


These are the subdirectories and files that remain in /usr/local:

$ find -name 'ecl*'
./share/man/man1/ecl.1
./share/doc/ecl
./info/ecl.info
./info/ecldev.info

/usr/local/share/doc/ecl still contains Copyright and LGPL.

Regards,
Adam