pdimov Update doc/html