[Bug 775742] "make upload" just continues if hotdoc is not found

[GStreamer (GNOME Bugzilla)]

https://bugzilla.gnome.org/show_bug.cgi?id=775742

--- Comment #2 from Mathieu Duponchelle <mduponchelle1 at gmail.com> ---
Not really, I would only enable the upload rule `if ENABLE_DOCUMENTATION`, that
ensures not only hotdoc is present, but also the other prerequisites as checked
by the HOTDOC_CHECK macro.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
You are the assignee for the bug.