diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-10-05 16:16:04 +1100 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-10-05 16:16:12 +1100 |
| commit | 6ae3d74d2c8b81117544bfd03558273d6c156324 (patch) | |
| tree | 3f60cd66d4c0a7f18ed6a750bcf405858f53e87d /Makefile | |
Adding mdn build tool
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..55b881c --- /dev/null +++ b/Makefile @@ -0,0 +1,13 @@ +BUILD_DIR := ./build + +build/mdn : mdn + +mdn : mdn/mdn-dir-locals.el + git clone --depth=1 https://github.com/mdn/content $(BUILD_DIR)/mdn + cp mdn/mdn-dir-locals.el $(BUILD_DIR)/mdn/files/.dir-locals.el +.PHONY: mdn + +install-mdn : build/mdn + mkdir -p $(DESTDIR) + mv $(BUILD_DIR)/mdn $(DESTDIR)/ +.PHONY: mdn/install |