From fe32fe161917e95c4037759740df911a6489707c Mon Sep 17 00:00:00 2001 From: Roy Zwambag Date: Wed, 7 Mar 2018 22:19:22 +0100 Subject: Used console directive in "Writing documentation". --- docs/_ext/djangodocs.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'docs/_ext') 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 -- cgit v1.3