diff make-dist @ 7883:cba3121c44b7

Put ./BUGS into the distrib.
author Richard M. Stallman <rms@gnu.org>
date Tue, 14 Jun 1994 14:51:19 +0000
parents 6191acd134b6
children bd5b4c5dda7f
line wrap: on
line diff
--- a/make-dist	Tue Jun 14 00:58:05 1994 +0000
+++ b/make-dist	Tue Jun 14 14:51:19 1994 +0000
@@ -140,7 +140,7 @@
 ### tar file; this means that people can start reading the INSTALL and
 ### README while the rest of the tar file is still unpacking.  Whoopee.
 echo "Making links to top-level files." 
-ln GETTING.GNU.SOFTWARE INSTALL PROBLEMS README move-if-change ${tempdir}
+ln GETTING.GNU.SOFTWARE INSTALL PROBLEMS README BUGS move-if-change ${tempdir}
 ln ChangeLog Makefile.in build-ins.in configure configure.in ${tempdir}
 ln config.bat make-dist vpath.sed ${tempdir}
 ### Copy these files; they're cross-filesystem symlinks.