From 408be791647c015c99963cc1b6d710f58d729dec Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 9 Aug 2025 08:56:53 +0100 Subject: refactor! rename `tooling` to `tools` feat: BenchKit improvements and libMsg authorship refactors. --- tooling/mk_htman.py | 41 ----------------------------------------- 1 file changed, 41 deletions(-) delete mode 100755 tooling/mk_htman.py (limited to 'tooling/mk_htman.py') diff --git a/tooling/mk_htman.py b/tooling/mk_htman.py deleted file mode 100755 index e865f7c5..00000000 --- a/tooling/mk_htman.py +++ /dev/null @@ -1,41 +0,0 @@ -#! /usr/bin/env python3 -# -*- coding: utf-8 -*- - -import sys, os - -if __name__ == "__main__": - if len(sys.argv) != 2: - print("INFO: mk_htman.py ") - sys.exit(os.EX_CONFIG) - - manual_path = sys.argv[1] - if not os.path.exists(manual_path): - print(f"ERROR: Manual path '{manual_path}' does not exist.") - sys.exit(os.EX_NOINPUT) - - if os.path.isdir(manual_path): - print(f"ERROR: Manual path '{manual_path}' is a directory.") - sys.exit(os.EX_NOTDIR) - - if not manual_path.endswith('.man'): - print(f"ERROR: Manual path '{manual_path}' must end with '.man'") - sys.exit(os.EX_DATAERR) - - try: - with open(manual_path, 'r') as file: - content = file.read() - if not content.strip(): - print(f"ERROR: Manual file '{manual_path}' is empty.") - sys.exit(os.EX_DATAERR) - html_content = f"NeKernel Manual: {manual_path}
{content}
" - - html_path = manual_path.replace('.man', '.html') - - with open(html_path, 'w') as html_file: - html_file.write(html_content) - except IOError as e: - print(f"ERROR: Could not read manual file '{manual_path}': {e}") - sys.exit(os.EX_IOERR) - - print(f"INFO: Wrote manual '{manual_path}' to HTML.") - sys.exit(os.EX_OK) -- cgit v1.2.3