search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

docbuild plugin is incomplete #46

Closed saraedum closed 10 years ago

saraedum commented 10 years ago

Have a look at http://trac.sagemath.org/ticket/16521#comment:5

A docbuild problem was not detected by the patchbot: http://patchbot.sagemath.org/log/16521/Scientific%20Linux/5.10/x86_64/2.6.18-308.4.1.el5/tane-*/2014-06-25%2006:13:04%20+0200?plugin=plugins.docbuild

Should the docbuild plugin do a make doc-clean?

robertwb commented 10 years ago

Hmm... That's one of the first things it does:

http://patchbot.sagemath.org/log/16521/Scientific%20Linux/5.10/x86_64/2.6.18-308.4.1.el5/tane-*/2014-06-25%2006:13:04%20+0200

(This is before the build, perhaps that's the problem...)

On Thu, Jun 26, 2014 at 4:21 PM, saraedum notifications@github.com wrote:

Have a look at http://trac.sagemath.org/ticket/16521#comment:5

A docbuild problem was not detected by the patchbot: http://patchbot.sagemath.org/log/16521/Scientific%20Linux/5.10/x86_64/2.6.18-308.4.1.el5/tane-*/2014-06-25%2006:13:04%20+0200?plugin=plugins.docbuild

Should the docbuild plugin do a make doc-clean?

— Reply to this email directly or view it on GitHub https://github.com/robertwb/sage-patchbot/issues/46.

saraedum commented 10 years ago

I could not reproduce the problem reported by vbraun. It seems to me that the patchbot did the right thing. Anyway, I guess it does not hurt to call make doc-clean explicitly.