- $(INSTALL) $(DOCNAME).info $(infodir)/$(DOCNAME)
- $(INSTALL-INFO) $(infodir)/$(DOCNAME) $(infodir)/dir
+ $(INSTALL) $(MANUAL_SYSINFO) $(infodir)/
+ $(INSTALL-INFO) $(infodir)/$(MANUAL_SYSINFO) $(infodir)/dir
+ $(GZIP) -f $(infodir)/$(MANUAL_SYSINFO)
+
+uninstall-info: $(MANUAL).info
+ $(INSTALL-INFO) --delete $(infodir)/$(MANUAL_SYSINFO) $(infodir)/dir
+ $(RMF) $(infodir)/$(MANUAL_SYSINFO)*