2024-12-03 15:26:11 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
2024-12-05 12:13:39 +01:00
|
|
|
convert()
|
|
|
|
{
|
|
|
|
file=$1
|
|
|
|
filename=$(basename -- "$file")
|
|
|
|
extension="${filename##*.}"
|
|
|
|
filename="${filename%.*}"
|
|
|
|
|
|
|
|
if [[ -f ../pages/$filename.md ]]
|
|
|
|
then
|
|
|
|
echo "making $filename.html"
|
|
|
|
pandoc -s ../pages/$filename.md -t html > ../dist/$filename.html --lua-filter=links-to-html.lua
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
|
|
|
case $1 in
|
|
|
|
convert) shift 1; convert "$@";;
|
|
|
|
*) echo "?" ;;
|
|
|
|
esac
|
2024-12-03 15:26:11 +01:00
|
|
|
|
|
|
|
|