+all: info html $(MANUAL).pdf ../INSTALL
+
+info: $(MANUALINFO)
+
+$(MANUALINFO): $(MANUALSRC)
+ $(MAKEINFO) -o $(MANUALINFO) $(MANUALSRC)
+
+html: $(MANUAL).html $(MANUALHTMLDIR) $(INSTALLDOC).html
+
+$(MANUAL).html: $(MANUALSRC) $(CSS)
+ $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<