Reduce garbage from push_to_top_level.

[gcc.git] / README

diff --git a/README b/README
index 7b1097f55c18449128d378a00e360aeaff80fc6e..be15bc2b44eeaf8f1711eda03edc85a77d5b9b32 100644 (file)
--- a/README
+++ b/README
@@ -15,3 +15,8 @@ includes) for usage and porting information.  An online readable
 version of the manual is in the files gcc/doc/gcc.info*.
 
 See http://gcc.gnu.org/bugs/ for how to report bugs usefully.
+
+Copyright years on GCC source files may be listed using range
+notation, e.g., 1987-2012, indicating that every year in the range,
+inclusive, is a copyrightable year that could otherwise be listed
+individually.