cd $(<D) && CONFIG_FILES=$(@F) CONFIG_HEADERS= $(SHELL) $(<F)
\f
# This makes the Info or DVI file of the documentation from the Texinfo source.
-.PHONY: info dvi pdf
-info dvi pdf:
+.PHONY: info dvi pdf html
+info dvi pdf html:
$(MAKE) $(PARALLELMFLAGS) -C manual $@
\f
# This makes all the subdirectory targets.