techn0path
/
website
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

started using mawk instead of gawk

This commit is contained in:
Abdullah Islam 2023-04-30 22:23:13 +06:00
parent f970d337fa
commit 384e6bf008
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@ -10,7 +10,7 @@ subdirs:
find src -mindepth 1 -type d -printf '%P\0' | xargs -0 -I{} mkdir -p gmi/{} html/{}
html/%.html: src/%.gmi tmpl/html.awk
awk -f tmpl/html.awk -- $< > $@
mawk -f tmpl/html.awk -- $< > $@
gmi/%.gmi: src/%.gmi tmpl/gemini.awk
awk -f tmpl/gemini.awk $< > $@
mawk -f tmpl/gemini.awk $< > $@