Formerly ../Make-dist.~52~

1 files changed, 10 insertions, 2 deletions

diff --git a/Make-dist b/Make-dist
index a3fe84c71d..3025f4162a 100644
--- a/Make-dist
+++ b/Make-dist
@@ -1,4 +1,4 @@
-# Copyright (C) 1991, 1992 Free Software Foundation, Inc.
+# Copyright (C) 1991, 1992, 1993 Free Software Foundation, Inc.
 # This file is part of the GNU C Library.
 
 # The GNU C Library is free software; you can redistribute it and/or
@@ -86,7 +86,7 @@ foo:=$(shell echo '+out=$(+out)' >&2; echo foofoo >&2)
 			$(sources) $(all-headers) $(distribute)) \
 	   $(+sysdeps)
 foo:=$(shell echo made +tsrcs >&2)
-+tsrcs := $(sort $(filter-out $(generated, 1993),$(+tsrcs)))
++tsrcs := $(sort $(filter-out $(generated),$(+tsrcs)))
 foo:=$(shell echo '+tsrcs=$(+tsrcs)'>&2)
 foo:=$(shell echo foobie, dammit! >&2)
 
@@ -193,6 +193,14 @@ subdir_dist: $(dist-subdirs)
 $(dist-subdirs):
 	$(MAKE) -C $(patsubst dist-%,%,$@) dist
 
+# This is here instead of in Makefile so it can use $(release) and $(version).
+README: README.template version.c
+	-rm -f $@
+	sed -e 's/RELEASE/$(release)/' -e 's/VERSION/$(version)/' < $< > $@
+# Make it unwritable so I won't change it by mistake.
+	chmod 444 $@
+
+
 endif	# Subdirectory vs. parent makefile
 
 # Get these things out of the environment because they take up lots of space.