diff make-dist @ 50653:6f6abeeda7ed

(Selecting a Representation): Fix Texinfo usage.
author Richard M. Stallman <rms@gnu.org>
date Mon, 21 Apr 2003 01:37:37 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff