summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--release/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile
index 1ed3a1d0..9cee0497 100644
--- a/release/Makefile
+++ b/release/Makefile
@@ -26,7 +26,7 @@ dist-files = INSTALL-binary dist-README SETUP servers.boot \
menu.lst COPYING.LIB SOURCES.0.2
# Tools for making images
-tool-files = tool-Makefile install-stripped
+tool-files = tool-Makefile install-stripped mksmallso mkemptyso
DIST_FILES = README $(dist-files) $(tool-files)