Colomban Wendling 288b4f29d8 Enable HTML manual building by default but for distribution tarballs
Enable building of the HTML manual by default unless not building from
Git and with an existing local copy (which is included in distribution
tarballs).

This makes sure we can install the HTML manual without having it
checked in VCS, yet not require rst2html for tarball builds.
2014-08-23 17:56:14 +02:00
..