Fix the install-info target in the Makefile.