diff options
| author | Roy Zwambag <royzwambag@gmail.com> | 2018-03-07 22:19:22 +0100 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2018-03-07 16:19:22 -0500 |
| commit | fe32fe161917e95c4037759740df911a6489707c (patch) | |
| tree | dbd4cb32156d1018e249a75dca900b012bbdc7ca /docs/_ext/djangodocs.py | |
| parent | 8b25d546b6113bd8db7e3627939d107ebd834fff (diff) | |
| download | django-fe32fe161917e95c4037759740df911a6489707c.tar.gz | |
Used console directive in "Writing documentation".
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 |