From 0bfc745f318239bd734343e2dd5dd493fd700643 Mon Sep 17 00:00:00 2001 From: opFez Date: Fri, 30 Jul 2021 17:17:20 +0200 Subject: [PATCH] add shell script for generating all pages, add source and dest dirs --- gen.sh | 7 +++++++ site-src/index.src | 3 +++ site/.gitkeep | 0 3 files changed, 10 insertions(+) create mode 100755 gen.sh create mode 100644 site-src/index.src create mode 100644 site/.gitkeep diff --git a/gen.sh b/gen.sh new file mode 100755 index 0000000..aaecc41 --- /dev/null +++ b/gen.sh @@ -0,0 +1,7 @@ +#!/bin/sh + +for file in site-src/*; do + bn=$(basename $file .src) + echo "Converting $bn..." + ./format $file site/$bn.html +done diff --git a/site-src/index.src b/site-src/index.src new file mode 100644 index 0000000..d62846b --- /dev/null +++ b/site-src/index.src @@ -0,0 +1,3 @@ +* Index + +Welcome to {codex}. diff --git a/site/.gitkeep b/site/.gitkeep new file mode 100644 index 0000000..e69de29