TODO update
Merge branch 'WIP' of github.com:felix-salfelder/sage into WIP
sagenb: use SAGE_DOC_SRC to locate doc source