Formerly ../Make-dist.~52~
authorroland <roland>
Sat, 8 May 1993 00:00:48 +0000 (00:00 +0000)
committerroland <roland>
Sat, 8 May 1993 00:00:48 +0000 (00:00 +0000)
Make-dist

index a3fe84c..3025f41 100644 (file)
--- 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
 \f
 # Get these things out of the environment because they take up lots of space.