need include for div

2025-04-20 21:27:40 +08:00
parent 887ff7b069
commit 8e8ac86037
4 changed files with 30 additions and 9 deletions
--- a/5
+++ b/5
@@ -1,5 +1,8 @@

-.PHONY: filter showAST
+.PHONY: filter showAST nofilter
+
+nofilter:
+	pandoc -fmarkdown -thtml input.md > output.html

 filter:
 	pandoc -fmarkdown -thtml input.md --filter ./filter.hs > output.html