Added the htmldoc version entry.