diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-22 01:49:19 +0200 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-22 01:49:19 +0200 |
commit | b14b2114bbce42fd282648a7adc44a87ca42d4de (patch) | |
tree | 7440bfac851d6f851085644cd7df100561ad515b /doc | |
parent | e27e9961e58925e39cd5a19699806aac640abbd1 (diff) | |
download | geiser-guile-b14b2114bbce42fd282648a7adc44a87ca42d4de.tar.gz geiser-guile-b14b2114bbce42fd282648a7adc44a87ca42d4de.tar.bz2 |
Unneeded file wiped out.
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/make-site.sh | 15 |
1 files changed, 0 insertions, 15 deletions
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} |