diff options
author | Antony Lee <anntzer.lee@gmail.com> | 2018-05-10 13:23:45 -0700 |
---|---|---|
committer | Antony Lee <anntzer.lee@gmail.com> | 2018-05-10 13:23:59 -0700 |
commit | f101bb6615e7dea6f20fa2bc6ae144d961005cb7 (patch) | |
tree | 1d19833a24bae0d074b15ecee8f7ef15d5a5f9c2 /sphinx/make_mode.py | |
parent | 169297d0b76bf0b503033dadeb14f9a2b735e422 (diff) | |
download | sphinx-git-f101bb6615e7dea6f20fa2bc6ae144d961005cb7.tar.gz |
Remove unused SPHINXPROJ from new Makefile/make.bat.
Diffstat (limited to 'sphinx/make_mode.py')
-rw-r--r-- | sphinx/make_mode.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/sphinx/make_mode.py b/sphinx/make_mode.py index 23fb4ce64..ae19e93ee 100644 --- a/sphinx/make_mode.py +++ b/sphinx/make_mode.py @@ -30,8 +30,6 @@ if False: # For type annotation from typing import List # NOQA -proj_name = os.getenv('SPHINXPROJ', '<project>') - BUILDERS = [ ("", "html", "to make standalone HTML files"), |