diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-02-02 13:51:45 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-02-02 13:51:45 +0100 |
commit | 9899ae167f281d10b1684dfcd02c6838c5bf28df (patch) | |
tree | ceda62a40a9a8f731298832b1b4ab44ab0dd3a10 /cython/doc/python3-sphinx-build.py | |
parent | 866f6ce614e9c09c97fed12c8c0c2c9fb84fad3f (diff) |
GUDHI 2.1.0 as released by upstream in a tarball.upstream/2.1.0
Diffstat (limited to 'cython/doc/python3-sphinx-build.py')
-rwxr-xr-x | cython/doc/python3-sphinx-build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cython/doc/python3-sphinx-build.py b/cython/doc/python3-sphinx-build.py index 44b94169..84d158cf 100755 --- a/cython/doc/python3-sphinx-build.py +++ b/cython/doc/python3-sphinx-build.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 """ Emulate sphinx-build for python3 |