Added version info to the htmldoc engine.