--- old/make/UpdateBuildDocs.gmk	2017-10-05 11:55:57.940813234 +0200
+++ new/make/UpdateBuildDocs.gmk	2017-10-05 11:55:57.652817780 +0200
@@ -63,7 +63,7 @@
 
 ################################################################################
 
-$(eval $(call IncludeCustomExtension, , UpdateBuildDocs.gmk))
+$(eval $(call IncludeCustomExtension, UpdateBuildDocs.gmk))
 
 ################################################################################