From be072b757650fbc9d1508db4f9a30c613cb7ffd1 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Sun, 20 Jun 2010 21:52:52 +0200
Subject: Scripts for generating Geiser's website.

---
 doc/make-site.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 doc/make-site.sh

(limited to 'doc/make-site.sh')

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}
-- 
cgit v1.2.3