# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 982934313 0
# Node ID b134344df2897de1b0879821859b356c7bc080ee
# Parent  080a94708b56564a93fdb2b9280b5a5ebadeda9a
(Image Descriptors): Remove doubled `a'.

diff -r 080a94708b56 -r b134344df289 lispref/display.texi
--- a/lispref/display.texi	Fri Feb 23 13:13:17 2001 +0000
+++ b/lispref/display.texi	Fri Feb 23 13:18:33 2001 +0000
@@ -2468,7 +2468,7 @@
 
 @item :margin @var{margin}
 The @code{:margin} property specifies how many pixels to add as an
-extra margin around the image.  The value, @var{margin}, must be a a
+extra margin around the image.  The value, @var{margin}, must be a
 non-negative number, or a pair @code{(@var{x} . @var{y})} of such
 numbers.  If it is a pair, @var{x} specifies how many pixels to add
 horizontally, and @var{y} specifies how many pixels to add vertically.