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