[nongnu] elpa/proof-general a88204c 2/3: Remove references to user registration

[ELPA Syncer]

branch: elpa/proof-general
commit a88204c7220d6494bfa164ff3b30997f4bde83fc
Author: David Aspinall <David.Aspinall@ed.ac.uk>
Commit: David Aspinall <David.Aspinall@ed.ac.uk>

    Remove references to user registration
---
 Makefile              | 2 +-
 doc/ProofGeneral.texi | 3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 1b7f9a8..e441e3d 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ ELISP_EXTRAS=
 # to be installed
 EXTRA_DIRS = images
 
-DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER 
doc/*.pdf
+DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README doc/*.pdf
 DOC_EXAMPLES=pgshell/*.pgsh phox/*.phx
 DOC_SUBDIRS=${DOC_EXAMPLES} */README* */CHANGES */BUGS 
 
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index f182454..a566a50 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -5937,8 +5937,7 @@ Public License (GPL).  Compared with the previous more 
restrictive
 license, this means the program can now be redistributed by third
 parties, and used in any context without applying for a special
 license.  Despite these legal changes, we would still appreciate if
-you send us back any useful improvements you make to Proof General,
-and register your use of Proof General on the web site.
+you send us back any useful improvements you make to Proof General.
 
 @node Old News for 3.5
 @unnumberedsec Old News for 3.5