diff options
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 |