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

[GStreamer (GNOME Bugzilla)]

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

            Bug ID: 775742
           Summary: "make upload" just continues if hotdoc is not found
    Classification: Platform
           Product: GStreamer
           Version: git master
                OS: Linux
            Status: NEW
          Severity: critical
          Priority: Normal
         Component: documentation
          Assignee: gstreamer-bugs at lists.freedesktop.org
          Reporter: slomo at coaxion.net
        QA Contact: gstreamer-bugs at lists.freedesktop.org
                CC: mduponchelle1 at gmail.com, t.i.m at zen.co.uk,
                    tsaunier at gnome.org
     GNOME version: ---

$ make upload
make: hotdoc: Command not found
rsync -rvaz -e ssh --links --delete
/home/slomo/Projects/gstreamer/head/gst-docs/built_doc/html/
gstreamer.freedesktop.org:/srv/gstreamer.freedesktop.org/public_html/documentation
|| /bin/true

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