This removes the usage of deprecated gnome-doc-utils. Also remove support for building HTML or PDF documentation.