Used console directive in "Writing documentation".

This commit is contained in:
Roy Zwambag 2018-03-07 22:19:22 +01:00 committed by Tim Graham
parent 8b25d546b6
commit fe32fe1619
2 changed files with 13 additions and 4 deletions

View file

@ -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