diff -r ea3937af2bb1 -r 3d1baa702d1a doc/docchecker --- a/doc/docchecker Wed Jan 06 19:57:29 2016 +0000 +++ b/doc/docchecker Wed Jan 06 20:05:18 2016 +0000 @@ -11,11 +11,15 @@ leadingline = re.compile(r'(^\s*)(\S.*)$') hg_backtick = re.compile(r""":hg:`[^`]*'[^`]*`""") +hg_cramped = re.compile(r'\w:hg:`') def check(line): if hg_backtick.search(line): print(line) print("""warning: please avoid nesting ' in :hg:`...`""") + if hg_cramped.search(line): + print(line) + print('warning: please have a space before :hg:') def work(file): (llead, lline) = ('', '')