26 lines
521 B
Bash
Executable File
26 lines
521 B
Bash
Executable File
#!/bin/sh
|
|
|
|
gen_site_index() {
|
|
indexfile=site/site-index.html
|
|
|
|
cat resources/header.html > $indexfile
|
|
|
|
echo Generating full site index...
|
|
|
|
for file in site/*; do
|
|
bn=$(basename $file .html)
|
|
echo "<p><a href=\"$bn.html\">{$bn}</a>" >> $indexfile
|
|
done
|
|
|
|
cat resources/footer.html >> $indexfile
|
|
}
|
|
|
|
# Generating html pages from writan sources
|
|
for file in site-src/*; do
|
|
bn=$(basename $file .wtn)
|
|
echo "$file -> site/$bn.html"
|
|
./format $file site/$bn.html
|
|
done
|
|
|
|
gen_site_index
|