diff --git a/builds/toplevel.mk b/builds/toplevel.mk index a0e0c8787..5a3ff2abd 100644 --- a/builds/toplevel.mk +++ b/builds/toplevel.mk @@ -317,6 +317,6 @@ do-dist: distclean refdoc rm -f $(TOP_DIR)/docs/mkdocs.yml @# Remove more stuff related to git. - rm -rf (TOP_DIR)/subprojects/dlg + rm -rf $(TOP_DIR)/subprojects/dlg # EOF