added "make dok" section to generate html pages from