* doc/misc/cl.texi: General copyedits for style, line-breaks, etc.
commitdf43dd5361372fffb5d1618228a9c6a55db96169
authorGlenn Morris <rgm@gnu.org>
Thu, 1 Nov 2012 01:44:50 +0000 (31 21:44 -0400)
committerGlenn Morris <rgm@gnu.org>
Thu, 1 Nov 2012 01:44:50 +0000 (31 21:44 -0400)
tree721d49c00d91ca0fed4880a223594afc6a3ed881
parent87b0d8b1d1ca858c76afa23e4a936bdd9fd8c2e1
* doc/misc/cl.texi: General copyedits for style, line-breaks, etc.
Replace "..." by @dots; car by @sc{car}, etc.
doc/misc/ChangeLog
doc/misc/cl.texi