robertwb/sage-patchbot — pull request #47 by saraedum (2014-06-26 23:24:49+00:00)
Title: docbuild plugin runs make doc-clean before make-doc

Fixes #46