3 files changed, 5 insertions, 4 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index 025ddfa3425..08f8f50e1fe 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2013-10-15  Paul Eggert  <eggert@cs.ucla.edu>
+
+        * keyboard.c, keyboard.h (all_kboards): Now static.
+
 2013-10-15  Xue Fuqiao  <xfq.free@gmail.com>
 
         * buffer.c (syms_of_buffer) <buffer-invisibility-spec>: Add usage
diff --git a/src/keyboard.c b/src/keyboard.c
index e0cd4d4fda0..bb8fefa7046 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -82,7 +82,7 @@ volatile bool pending_signals;
 
 KBOARD *initial_kboard;
 KBOARD *current_kboard;
-KBOARD *all_kboards;
+static KBOARD *all_kboards;
 
 /* True in the single-kboard state, false in the any-kboard state.  */
 static bool single_kboard;
diff --git a/src/keyboard.h b/src/keyboard.h
index 6f5593bdf65..b9bb006b4ed 100644
--- a/src/keyboard.h
+++ b/src/keyboard.h
@@ -227,9 +227,6 @@ extern KBOARD *initial_kboard;
    right now considering input.  We can consider input from another
    kboard, but doing so requires throwing to wrong_kboard_jmpbuf.  */
 extern KBOARD *current_kboard;
-
-/* A list of all kboard objects, linked through next_kboard.  */
-extern KBOARD *all_kboards;
 
 /* Total number of times read_char has returned, modulo UINTMAX_MAX + 1.  */
 extern uintmax_t num_input_events;