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

[GStreamer (GNOME Bugzilla)]

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

Tim-Philipp Müller <t.i.m at zen.co.uk> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|git master                  |1.11.1

--- Comment #6 from Tim-Philipp Müller <t.i.m at zen.co.uk> ---
Pushed something like what Olivier suggested now. Could probably be improved,
but seems to work.

commit 40317e7bf35221ee8431a85d186495f5499c8f2a
Author: Tim-Philipp Müller <tim at centricular.com>
Date:   Thu Dec 8 07:38:41 2016 +0000

    Makefile: check for hotdoc before attempting upload

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

I gather from your comments Mathieu that this or the meson part is not
something you plan to work on, so closing the bug, otherwise please re-open.

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