From 283e888eea5a87057c069aed0c256003d050a048 Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Tue, 8 Oct 2024 20:02:33 +0200 Subject: [PATCH 1/2] build --- build.py | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100755 build.py diff --git a/build.py b/build.py new file mode 100755 index 0000000..ea0e179 --- /dev/null +++ b/build.py @@ -0,0 +1,10 @@ +#! /usr/bin/env python3 +"""Dummy build.""" + +from pathlib import Path + +from rwx.fs import make_directory + +if __name__ == "__main__": + root = Path(__file__).parent + make_directory(root / "out") From bd31e060ab44dd7644164fcd5a82b4514810197b Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Tue, 8 Oct 2024 20:05:21 +0200 Subject: [PATCH 2/2] index.html --- build.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/build.py b/build.py index ea0e179..9f97035 100755 --- a/build.py +++ b/build.py @@ -6,5 +6,6 @@ from pathlib import Path from rwx.fs import make_directory if __name__ == "__main__": - root = Path(__file__).parent - make_directory(root / "out") + out = Path(__file__).parent / "out" + make_directory(out) + write(out / "index.html", "spcd.rwx.work")