diff options
| -rw-r--r-- | tools/refguide_check.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/refguide_check.py b/tools/refguide_check.py index 33c50818b..5e52c350b 100644 --- a/tools/refguide_check.py +++ b/tools/refguide_check.py @@ -1200,8 +1200,6 @@ def main(argv): sys.stderr.write('\n') sys.stderr.flush() - all_dict, deprecated, others = get_all_dict(module) - if args.rst: base_dir = os.path.join(os.path.abspath(os.path.dirname(__file__)), '..') rst_path = os.path.relpath(os.path.join(base_dir, args.rst)) |