From d58716b00f5bdfe6a04650ba8b972c2fac6c138f Mon Sep 17 00:00:00 2001
From: Jo-Philipp Wich <jo@wwsnet.net>
Date: Tue, 29 Mar 2016 09:59:58 +0200
Subject: [PATCH] Add generator script

Signed-off-by: Jo-Philipp Wich <jo@wwsnet.net>
---
 .gitignore  |  1 +
 generate.sh | 11 +++++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 .gitignore
 create mode 100755 generate.sh

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..5ccff1a
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+html/
diff --git a/generate.sh b/generate.sh
new file mode 100755
index 0000000..ba01122
--- /dev/null
+++ b/generate.sh
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+[ -d pages/ ] || {
+	echo "Please execute as ./generate.sh" >&2
+	exit 1
+}
+
+D="$(pwd)"
+
+mkdir -p "$D/html"
+find "$D/pages/" -type f | xargs -L1 a2x -f xhtml -r "$D/" -a "toc!" -a "numbered!" -D "$D/html/"
-- 
2.30.2