From 174f48b54cf67ae90a242de02647d6bba32a04f6 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Tue, 22 Jun 2010 01:49:19 +0200
Subject: Unneeded file wiped out.

---
 doc/make-site.sh | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100755 doc/make-site.sh

(limited to 'doc')

diff --git a/doc/make-site.sh b/doc/make-site.sh
deleted file mode 100755
index 63a3503..0000000
--- a/doc/make-site.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/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