diff options
| author | Martin Czygan <martin.czygan@gmail.com> | 2021-05-09 12:33:46 +0200 |
|---|---|---|
| committer | Martin Czygan <martin.czygan@gmail.com> | 2021-05-09 12:33:46 +0200 |
| commit | 521f4fdfa3db52043686fdce232f402b468362ff (patch) | |
| tree | 1cb7e1c4673a69f74d3dd24992457014cb1b8309 /extra/abbrev/Makefile | |
| parent | d2931da01a5c7d7254b5c7f4e4f8c1fa20513235 (diff) | |
| download | refcat-521f4fdfa3db52043686fdce232f402b468362ff.tar.gz refcat-521f4fdfa3db52043686fdce232f402b468362ff.zip | |
add abbreviation list, 117143 titles
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 |