diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -12,6 +12,7 @@ DEPLOY_FOLDER := deploy DEPLOY := $(CONFIG_PATH)/$(DEPLOY_FOLDER) HANDOUT_FOLDER := handouts HANDOUT :=$(DEPLOY)/$(HANDOUT_FOLDER) +CONFIG_FOLDER := configs BUILD_COMMAND := pdflatex BUILD_COMMAND_BIB := bibtex @@ -104,4 +105,8 @@ ifneq ($(shell find . -name $(MASTER_HANDOUT)*$(MASTER_END)), ) find . -name $(MASTER_HANDOUT)*$(MASTER_END) -exec rm {} \; endif +%_defconfig: + cp $(CONFIG_FOLDER)/$@ $(CONFIG_FILE) + $(KCONFIG) --oldconfig Kconfig + .PHONY: config oldconfig menuconfig build clean mrproper distclean clean_master_pres build_master_handout |
