+all: info html htmls pdf ../INSTALL $(MANUAL_SYSINFO)
+
+info: $(MANUAL_SYSINFO) $(INSTALLDOC).info
+
+html: $(MANUAL).html $(INSTALLDOC).html
+
+htmls: $(MANUAL)_html
+
+pdf: $(INSTALLDOC).pdf $(MANUAL).pdf
+
+$(MANUAL_SYSINFO): $(MANUAL).texi
+ $(MAKEINFO) $<
+
+%.html: %.texi $(CSS)
+ $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
+
+%_html: %.texi $(CSS)