do not generate documentation with obsolete tools

Documentation was no longer generated for three years and plan is to
repalce it with something easier to maintain that we can generate
automatic.