diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-07-08 20:24:29 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-08 20:24:29 +0000 |
commit | 16d3734af0ba37a7232300bacd94ba858ed71039 (patch) | |
tree | d955c9436597e3dfaf8265ae885b34ddcef3bca5 /release | |
parent | 90f0dc86d50d5ada3c90be9fcd0abe9b9d4e8b2d (diff) |
(DIST_FILES): repair
Diffstat (limited to 'release')
-rw-r--r-- | release/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index bb11e957..9e2e986a 100644 --- a/release/Makefile +++ b/release/Makefile @@ -27,7 +27,7 @@ dist-files = INSTALL-binary dist-README SETUP # Tools for making images tool-files = tool-Makefile install-stripped -DIST_FILES = README $(dist-files) install-stripped image-Makefile +DIST_FILES = README $(dist-files) $(tool-files) include ../Makeconf |