summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMiles Bader <miles@gnu.org>1997-06-17 16:21:55 +0000
committerMiles Bader <miles@gnu.org>1997-06-17 16:21:55 +0000
commitfb90e6442ad38d4ec0c84f6b9d689a82d37d664d (patch)
tree002b74534f8574a2f673250a2c91b8d785d0a893
parent34ad8f14ad84fbdf0bec27d145c394b0a85234c5 (diff)
(tool-files):
add mksmallso & mkemptyso.
-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)