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

[GStreamer (GNOME Bugzilla)]

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

--- Comment #1 from Tim-Philipp Müller <t.i.m at zen.co.uk> ---
I'm not sure if we can do much about this. If hotdoc is not installed, the
Makefile won't include the hotdoc .mk file bit, so it makes no sense to rely on
any of the hotdoc targets here.

I guess we can check manually for hotdoc before proceeding?

Mathieu, any better ideas?

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