IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #3850 from segevfiner/make-mode-help-colors

Browse Source 
Fix color handling in make mode's help command
This commit is contained in:
Takeshi KOMIYA 2017-06-12 22:08:29 +09:00 committed by GitHub
commit ed97a838ee
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
sphinx/make_mode.py
View File

@ -22,7 +22,7 @@ from os import path
import sphinx
from sphinx import cmdline
from sphinx.util.console import bold, blue # type: ignore
from sphinx.util.console import color_terminal, nocolor, bold, blue # type: ignore
from sphinx.util.osutil import cd, rmtree
if False:
@ -87,6 +87,9 @@ class Make(object):
def build_help(self):
# type: () -> None
if not color_terminal():
nocolor()
print(bold("Sphinx v%s" % sphinx.__display_version__))
print("Please use `make %s' where %s is one of" % ((blue('target'),) * 2)) # type: ignore # NOQA
for osname, bname, description in BUILDERS: