Merge lp:~widelands-dev/widelands/fix-sphinx into lp:widelands
Proposed by
GunChleoc
Status: | Merged | ||||
---|---|---|---|---|---|
Merged at revision: | 8829 | ||||
Proposed branch: | lp:~widelands-dev/widelands/fix-sphinx | ||||
Merge into: | lp:widelands | ||||
Diff against target: |
33 lines (+12/-11) 1 file modified
.travis.sh (+12/-11) |
||||
To merge this branch: | bzr merge lp:~widelands-dev/widelands/fix-sphinx | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
hessenfarmer | Approve | ||
Review via email: mp+354827@code.launchpad.net |
Commit message
Remove sphinx from debug builds on Travis.
Description of the change
We need our Travis back ASAP, so I have uncommented the Sphinx build for now. I can't get my system to cooperate and use the current version of Sphinx, so I can't reproduce the error.
To post a comment you must log in.
@bunnybot merge force