- $(INSTALL) $(MANUALINFO) $(infodir)/
- $(INSTALL-INFO) $(infodir)/$(MANUALINFO) $(infodir)/dir
- $(GZIP) -f $(infodir)/$(MANUALINFO)
+ $(INSTALL) $(MANUAL_SYSINFO) $(infodir)/
+ $(INSTALL-INFO) $(infodir)/$(MANUAL_SYSINFO) $(infodir)/dir
+ $(GZIP) -f $(infodir)/$(MANUAL_SYSINFO)