Specify all of $(htmldir) as the doc.

Created by  Ludovic Courtès  on October 12, 2011
U6MQV7QLUM3VEOU32JSPSBFEZW5PA4M2K27QCLMSIZMHQCXZKGOQC
Change contents