@'ed install-info related commands.
GNU Standards-compliant Makefile generator PR: 3199 Submitted by: FUJIMOTO Kensaku <fujimoto@oscar.elec.waseda.ac.jp>