diff options
| author | Antonio Rojas | 2018-12-23 23:12:24 +0000 |
|---|---|---|
| committer | Antonio Rojas | 2018-12-23 23:12:24 +0000 |
| commit | 883aa4a86e37267e068ab4c8ff7737d9ed5470c7 (patch) | |
| tree | d6e9eeec462a1076e692a639b1f81d332ad8de68 /sagemath-sphinx-1.8.patch | |
| parent | dc362c1101434295a40ff4b01c740f0834d81e54 (diff) | |
| download | aur-883aa4a86e37267e068ab4c8ff7737d9ed5470c7.tar.gz | |
Sync with stable
Diffstat (limited to 'sagemath-sphinx-1.8.patch')
| -rw-r--r-- | sagemath-sphinx-1.8.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sagemath-sphinx-1.8.patch b/sagemath-sphinx-1.8.patch index f54439334a0d..c153be175f8e 100644 --- a/sagemath-sphinx-1.8.patch +++ b/sagemath-sphinx-1.8.patch @@ -1,6 +1,6 @@ --- a/src/sage/misc/sphinxify.py 2018-09-14 20:13:32.788831484 +0200 +++ b/src/sage/misc/sphinxify.py 2018-09-14 20:14:07.142478667 +0200 -@@ -64,6 +64,7 @@ +@@ -68,6 +68,7 @@ sage: assert n == len(sys.path) """ srcdir = mkdtemp() @@ -8,7 +8,7 @@ base_name = os.path.join(srcdir, 'docstring') rst_name = base_name + '.rst' -@@ -71,7 +72,7 @@ +@@ -75,7 +76,7 @@ suffix = '.html' else: suffix = '.txt' @@ -17,7 +17,7 @@ with open(rst_name, 'w') as filed: filed.write(docstring) -@@ -89,7 +90,7 @@ +@@ -93,7 +94,7 @@ import sys old_sys_path = list(sys.path) # Sphinx modifies sys.path |