diff options
Diffstat (limited to 'tooling/manual.py')
| -rw-r--r-- | tooling/manual.py | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tooling/manual.py b/tooling/manual.py deleted file mode 100644 index 8298559b..00000000 --- a/tooling/manual.py +++ /dev/null @@ -1,9 +0,0 @@ -#! /usr/bin/env python3 -# -*- coding: utf-8 -*- - -import sys, os - -if __name__ == "__main__": - if len(sys.argv) != 2: - print("Usage: manual.py <manual_path>") - sys.exit(os.EX_CONFIG) |