From b14b2114bbce42fd282648a7adc44a87ca42d4de Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz 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 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