ask about drill bit sizes for arduino to deck

[challenge-bot] / guide / makefile

diff --git a/guide/makefile b/guide/makefile
index 01f2d72dcfb642c32ce3d0a09d2d2389eda7c0a8..2ee17100bf9ccbccf4f65d34609252afd643b0b0 100644 (file)
--- a/guide/makefile
+++ b/guide/makefile
@@ -85,6 +85,9 @@ challenge-bot.html: challenge-bot.scm \
                makefile
        @skribilo $< > $@
 
+%.html:%.org
+       emacs --batch --visit $< -f org-html-export-to-html --kill
+
 clean:
        @rm -f \
                square.png \