Add a unified 'generated documentation' target so the web site script has a consisten...