diff --git a/Makefile b/Makefile
index 075b13be52..ece74e8240 100644
--- a/Makefile
+++ b/Makefile
@@ -53,7 +53,16 @@ html-examples: $(EXAMPLES)
 $(EXAMPLES):
 	$(eval OUTPUTDIR=$(EXAMPLEHTMLOUTPUT)/$(dir $@))
 	@mkdir -p ${OUTPUTDIR}
-	@juvix html $(EXAMPLEMILESTONE)/$@ --recursive --output-dir=./../../../${OUTPUTDIR} --print-metadata
+	@juvix html $(EXAMPLEMILESTONE)/$@ --recursive --output-dir=$(CURDIR)/${OUTPUTDIR} --print-metadata
+
+.PHONY: webapp-examples
+webapp-examples: $(WEBAPP_EXAMPLES)
+
+$(WEBAPP_EXAMPLES):
+	$(eval OUTPUTDIR=$(EXAMPLE_WEBAPP_OUTPUT)/$(dir $@))
+	@mkdir -p ${OUTPUTDIR}
+	@juvix compile -r standalone $(EXAMPLEMILESTONE)/$@
+	@cp $(dir $(EXAMPLEMILESTONE)/$@)*.{wasm,js,html} ${OUTPUTDIR}
 
 # -- MDBook
 
@@ -117,15 +126,6 @@ hlint :
 
 PRECOMMIT := $(shell command -v pre-commit 2> /dev/null)
 
-.PHONY: webapp-examples
-webapp-examples: $(WEBAPP_EXAMPLES)
-
-$(WEBAPP_EXAMPLES):
-	$(eval OUTPUTDIR=$(EXAMPLE_WEBAPP_OUTPUT)/$(dir $@))
-	mkdir -p ${OUTPUTDIR}
-	juvix compile -r standalone $(EXAMPLEMILESTONE)/$@
-	cp $(dir $(EXAMPLEMILESTONE)/$@)*.{wasm,js,html} ${OUTPUTDIR}
-
 .PHONY : install-pre-commit
 install-pre-commit :
 	@$(if $(PRECOMMIT),, pip install pre-commit)