Scripts for generating Geiser's website.

1 files changed, 15 insertions, 0 deletions

diff --git a/doc/make-site.sh b/doc/make-site.sh
new file mode 100755
index 0000000..63a3503
--- /dev/null
+++ b/doc/make-site.sh
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+out=html
+
+rm ./${out}/*.html
+
+texi2html --output=${out} \
+    --split=chapter \
+    --noheader \
+    --nonumber-section \
+    --init-file=./site.conf \
+    --top-file=index.html \
+    geiser.texi
+
+cp geiser.css ${out}