diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-05 08:49:51 -0500 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-05 08:49:51 -0500 |
| commit | ea17c58930816a309b3bd664def58fec1be239c5 (patch) | |
| tree | b917183458dfff605e848557d81936cfc9a2e801 /tools | |
| parent | 9e399b5128e9464e4e8303eab8f8dad5886066d8 (diff) | |
chore: wip: python tooling to build PDFs out of Tex files.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build.py | 7 | ||||
| -rw-r--r-- | tools/build.sh | 2 |
2 files changed, 7 insertions, 2 deletions
diff --git a/tools/build.py b/tools/build.py new file mode 100644 index 0000000..c80c695 --- /dev/null +++ b/tools/build.py @@ -0,0 +1,7 @@ +#! /usr/bin/env python3 +# -*- coding: utf-8 -*- + +import os, sys + +if __name__ == '__main__': + sys.exit(None)
\ No newline at end of file diff --git a/tools/build.sh b/tools/build.sh deleted file mode 100644 index 13f4793..0000000 --- a/tools/build.sh +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh - |