add target html-all to Makefile, part 2