Re: 'make-stds.texi' copyright notice (needed for autoconf, make)

[Richard Stallman]

    This change (or something like it) needs to be installed at gnu.org.
    I guess I can install the change in the master copy, but I don't know
    how it gets propagated after that.

You should run the makefile in /gd/gnuorg so as to recreate
standards.text.  But please handle standards.texi at the same time.
You can put the copy of the GFDL into standards.texi.

Ok?