diff options
Diffstat (limited to 'extra/abbrev/Makefile')
| -rw-r--r-- | extra/abbrev/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/extra/abbrev/Makefile b/extra/abbrev/Makefile new file mode 100644 index 0000000..9aec743 --- /dev/null +++ b/extra/abbrev/Makefile @@ -0,0 +1,8 @@ +SHELL := /bin/bash + +jabbrev.json: parse_all_pages.sh + bash parse_all_pages.sh > $@ + +.PHONY: clean +clean: + rm -f jabbrev.json |