- $(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)*
-
-$(INSTALLDOC).html: $(INSTALLDOC).texi $(CSS)
- $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
+ $(INSTALL) $< $(infodir)/
+ $(INSTALL-INFO) $(infodir)/$< $(infodir)/dir
+ $(GZIP) -f $(infodir)/$<