WIP: Resolve "Building documentation is broken with Automake"