Move sphinxify to Sage

[jdemeyer]

The file src/sage/misc/sagedoc.py imports sphinxify from sagenb. This is bad, since sagenb should not be a dependency for the Sage documentation.

CC: @hivert

Component: documentation

Keywords: days77

Author: Jeroen Demeyer

Branch/Commit: 71a7cb6

Reviewer: John Palmieri

Issue created by migration from https://trac.sagemath.org/ticket/20353

[jdemeyer]

Author: Jeroen Demeyer

[jdemeyer]

Branch: u/jdemeyer/uncouple_documentation_builder_from_sagenb

[jdemeyer]

New commits:

4b206a2

Move sphinxify to Sage

[jdemeyer]

Commit: 4b206a2

[slel]

Changed keywords from none to days77

[jhpalmieri]

comment:5

I think this could use one more change:

diff --git a/src/doc/en/reference/misc/index.rst b/src/doc/en/reference/misc/index.rst
index 3fcd5b0..10a0a1d 100644
--- a/src/doc/en/reference/misc/index.rst
+++ b/src/doc/en/reference/misc/index.rst
@@ -226,6 +226,7 @@ Interactive Sage Sessions
    sage/misc/viewer
    sage/misc/pager
    sage/misc/sagedoc
+   sage/misc/sphinxify
 
 Distribution
 ~~~~~~~~~~~~

Then I think it's ready to go.

[sagetrac-git]

Changed commit from 4b206a2 to 71a7cb6

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

71a7cb6

Add sphinxify to the documentation

[jdemeyer]

Reviewer: John Palmieri

[vbraun]

Changed branch from u/jdemeyer/uncouple_documentation_builder_from_sagenb to 71a7cb6