web/scripts/web.sh

11 lines
201 B
Bash
Raw Normal View History

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