# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 744831808 0
# Node ID f1fa60176c8d23f7a05f29f6e9efc271801e513a
# Parent  b0a70d8d9af4326b018919d2e5d47378fb63c770
(src): Don't put gnu-hp300 in dist.

diff -r b0a70d8d9af4 -r f1fa60176c8d make-dist
--- a/make-dist	Sun Aug 08 07:47:33 1993 +0000
+++ b/make-dist	Sun Aug 08 17:43:28 1993 +0000
@@ -204,7 +204,7 @@
  ln [a-zA-Z]*.s ../${tempdir}/src
  ln README Makefile.in ymakefile ChangeLog config.h.in paths.h.in \
     ../${tempdir}/src
- ln .gdbinit .dbxinit gnu-hp300 ../${tempdir}/src
+ ln .gdbinit .dbxinit ../${tempdir}/src
  ln *.opt vms-pp.trans ../${tempdir}/src
  cd ../${tempdir}/src
  rm -f config.h paths.h Makefile