diff options
Diffstat (limited to 'bin/make_html_index.sh')
| -rwxr-xr-x | bin/make_html_index.sh | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/bin/make_html_index.sh b/bin/make_html_index.sh new file mode 100755 index 0000000..cba5479 --- /dev/null +++ b/bin/make_html_index.sh @@ -0,0 +1,34 @@ +#/bin/sh + +DIR="$(dirname "$0")" +OUTDIR="$DIR/../public" + +exec >"$OUTDIR/index.html" + +cat <<'EOF' +<!DOCTYPE html> +<html lang="en"> +<head> + <meta charset="UTF-8"> + <title>Liber Dolorum</title> + <link rel='stylesheet' type='text/css' href="style.css"> + <link rel="icon" type="image/png" href="favicon.png"> +</head> + +<body> +<h1>Liber Dolorum</h1> +<p><em>"Another trick in the book"</em></p> + +EOF + +"$DIR/make_html_table.sh" +"$DIR/make_html_archives.sh" + +cat <<'EOF' + +<p>alpha 0.1</p> + +</body> + +</html> +EOF |
