1 files changed, 2 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 31c5c2a3135..0c2d156929a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -6,6 +6,8 @@
        * configure.in: Don't print anything special about gamedir.
+        * configure.in: Delete nonstandard --with-game-user option.
+        
 2002-07-21  Richard M. Stallman  <rms@gnu.org>
        * Makefile.in (gamedir, localstatedir): New variables.

diff --git a/ChangeLog b/ChangeLog index 31c5c2a3135..0c2d156929a 100644 --- a/ChangeLog +++ b/ChangeLog
@@ -6,6 +6,8 @@
6		6
7	* configure.in: Don't print anything special about gamedir.	7	* configure.in: Don't print anything special about gamedir.
8		8
		9	* configure.in: Delete nonstandard --with-game-user option.
		10
9	2002-07-21 Richard M. Stallman <rms@gnu.org>	11	2002-07-21 Richard M. Stallman <rms@gnu.org>
10		12
11	* Makefile.in (gamedir, localstatedir): New variables.	13	* Makefile.in (gamedir, localstatedir): New variables.