1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 44e137e..801b713 100644
--- a/Makefile
+++ b/Makefile
@@ -73,6 +73,11 @@ all: build
 
 PHONY += build
 build: check
+ifdef CONFIG_BUILD_MICROCONSULT
+	$(Q)touch .lxformat_microconsult
+else
+	$(Q)rm -f .lxformat_microconsult
+endif
 ifdef CONFIG_BUILD_HANDOUTS
 	$(Q)mkdir -p $(DEPLOYHANDOUT)
 	$(Q)$(foreach dir,$(PATHS),$(MODMK) -C $(dir) buildhandouts;)