diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -44,10 +44,10 @@ html/53hor.net/%.html: md/53hor.net/%.md md/53hor.net/nav.html .PHONY: atc.53hor.net atc.53hor.net: $(ATC_OUT) -html/atc.53hor.net/%.html: md/atc.53hor.net/%.md +html/atc.53hor.net/%.html: md/atc.53hor.net/%.md md/atc.53hor.net/nav.html @echo "atc.53hor.net: $< -> $@" @mkdir -p "$(@D)" - @pandoc "$<" -f markdown -t html5 -s --toc --toc-depth=2 -c /styles.css -o "$@" + @pandoc "$<" -f markdown -t html5 -s --toc --toc-depth=3 -B md/atc.53hor.net/nav.html -c /styles.css -o "$@" clean: @rm -rf html/ |