diff options
-rw-r--r-- | release/Makefile | 2 |
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) |