diff options
Diffstat (limited to 'tooling')
| -rw-r--r-- | tooling/manual.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tooling/manual.py b/tooling/manual.py new file mode 100644 index 00000000..8298559b --- /dev/null +++ b/tooling/manual.py @@ -0,0 +1,9 @@ +#! /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) |