Nick Dokos writes: >> +and it's derivatives use two different versions of install-info and you may > ^^^^ > its Thanks for catching that. My patch also did not remove the documentation of the removed target in the help/targets section of the Makefile. I'm attaching a patch to correct that.