# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1247206235 0
# Node ID 1cb014ed78dea917d78c0d2b80f6cea5f31192c4
# Parent  0883932a218bb064ee001b3b2a75e2d663d17daf
(System Interface): End menu description with period.

diff -r 0883932a218b -r 1cb014ed78de doc/lispref/os.texi
--- a/doc/lispref/os.texi	Fri Jul 10 06:10:06 2009 +0000
+++ b/doc/lispref/os.texi	Fri Jul 10 06:10:35 2009 +0000
@@ -33,7 +33,7 @@
 * Terminal Input::      Accessing and recording terminal input.
 * Terminal Output::     Controlling and recording terminal output.
 * Sound Output::        Playing sounds on the computer's speaker.
-* X11 Keysyms::         Operating on key symbols for X Windows
+* X11 Keysyms::         Operating on key symbols for X Windows.
 * Batch Mode::          Running Emacs without terminal interaction.
 * Session Management::  Saving and restoring state with X Session Management.
 @end menu