diff options
Diffstat (limited to 'Tools')
| -rw-r--r-- | Tools/scripts/texcheck.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/scripts/texcheck.py b/Tools/scripts/texcheck.py index 08692b3..35d6619 100644 --- a/Tools/scripts/texcheck.py +++ b/Tools/scripts/texcheck.py @@ -57,6 +57,7 @@ cmdstr = r""" \email \kwindex \refexmodindex \filenq \e \menuselection \exindex \linev \newsgroup \verbatim \setshortversion \author \authoraddress \paragraph \subparagraph \cmemberline + \textbar """ def matchclose(c_lineno, c_symbol, openers, pairmap): |