2020-04-21 08:49:08 +08:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -xeu
|
|
|
|
|
|
2020-07-21 02:06:15 +08:00
|
|
|
if ! which markdown 2>&1 >/dev/null; then
|
2020-04-21 08:49:08 +08:00
|
|
|
echo "need markdown"
|
|
|
|
|
exit
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
(
|
|
|
|
|
cat docs/header.html
|
|
|
|
|
markdown README.md
|
|
|
|
|
cat docs/footer.html
|
2020-07-21 02:06:15 +08:00
|
|
|
) >docs/index.html
|
