Add dependency for html doc target because of dependency on generated files.
Public release.