tweaks to compiler.texi
authorAndy Wingo <wingo@pobox.com>
Sun, 11 Jan 2009 17:00:21 +0000 (18:00 +0100)
committerAndy Wingo <wingo@pobox.com>
Sun, 11 Jan 2009 17:00:21 +0000 (18:00 +0100)
commite33e3aeefd4c9afbae749f0c3e0b080801a11e31
treed90dd087301e2cdfd587fdcbf888245304e42483
parentff73ae34c36b8b1270cbdb60461ca2a05e0276bf
tweaks to compiler.texi

* doc/ref/compiler.texi: Minor tweaks.
doc/ref/compiler.texi