Simplify and improve the recipe for git-based builds

Modify the git-based recipe to simply mirror the remote git
repository.  If enabled by configuration, download and install the
newest official manpages and/or HTML docs as opposed to not installing
any documentation for git-based builds.