Restore build of html-help workshop