--- a/make/CompileToolsJdk.gmk	Mon Nov 26 18:52:33 2018 +0100
+++ b/make/CompileToolsJdk.gmk	Mon Nov 26 19:05:55 2018 +0100
@@ -108,8 +108,8 @@
 
   # Created script must be made executable
   $(PANDOC_FILTER_SETUP): $(CREATE_PANDOC_FILTER)
-		$(CHMOD) a+rx $(PANDOC_FILTER)
-		$(TOUCH) $@
+	$(CHMOD) a+rx $(PANDOC_FILTER)
+	$(TOUCH) $@
 
   TARGETS += $(PANDOC_FILTER_SETUP)
 endif