summaryrefslogtreecommitdiff
path: root/doc/make-site.sh
diff options
context:
space:
mode:
Diffstat (limited to 'doc/make-site.sh')
-rwxr-xr-xdoc/make-site.sh15
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}