Fixes the environment used for the doc-build script. #3257

Closed
wants to merge 1 commit into
from

Projects

None yet

2 participants

@ralt
ralt commented Mar 16, 2013

Fixes #2004

@domenic
Member
domenic commented Jun 18, 2013

We should merge this, didn't realize how simple it was.

@domenic
Member
domenic commented Jun 22, 2013

Thanks, merged as 37bda67.

@domenic domenic closed this Jun 22, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment