cmake DWORKBENCH_HAVE_HELP_HTML examples

Washington-University/workbench src/CMakeLists.txt :671

ADD_DEFINITIONS(-DWORKBENCH_HAVE_HELP_HTML)