DynaDoc Programs for HTML Documentation Generation