2024-12-03 15:26:11 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
file=$1
|
|
|
|
|
filename=$(basename -- "$file")
|
|
|
|
|
extension="${filename##*.}"
|
|
|
|
|
filename="${filename%.*}"
|
|
|
|
|
|
|
|
|
|
|
2024-12-03 22:41:16 +01:00
|
|
|
if [[ -f ../pages/$filename.md ]]
|
|
|
|
|
then
|
|
|
|
|
echo "making $filename.html"
|
|
|
|
|
pandoc ../pages/$filename.md -t html > ../dist/$filename.html
|
|
|
|
|
fi
|
