diff options
Diffstat (limited to 'docs/_ext/djangodocs.py')
| -rw-r--r-- | docs/_ext/djangodocs.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/_ext/djangodocs.py b/docs/_ext/djangodocs.py index 1512d9c261..b8fe36c1d3 100644 --- a/docs/_ext/djangodocs.py +++ b/docs/_ext/djangodocs.py @@ -431,6 +431,9 @@ class ConsoleDirective(CodeBlock): elif token[:2] == '~/': token = '%HOMEPATH%\\' + token[2:] changed = True + elif token == 'make': + token = 'make.bat' + changed = True if '://' not in token and 'git' not in cmdline: out.append(token.replace('/', '\\')) changed = True |