describe commands to generate the HTML documentation

This addresses CPC-Referee's comment 1.