Sub-makefile that can be used to drive the HTML conversion from this subdir.

Most of the logic is still in the primary Makefile and a new script in
Doc/tools/.
1 file changed