Fix typo in makefile in BUILD_EXAMPLES_HTML_FILES def