Fix some references to objcode in the manual
authorAndy Wingo <wingo@pobox.com>
Thu, 28 Nov 2013 09:56:55 +0000 (10:56 +0100)
committerAndy Wingo <wingo@pobox.com>
Thu, 28 Nov 2013 09:56:55 +0000 (10:56 +0100)
commitc0d928dc2b50f8761b6c782e4dd34a6388d167fe
treee2391b276ef601f780dac44c386f999fee271eef
parenta5d0c135c0bbff2fdcfb68cf8a7b4013f3b9aa58
Fix some references to objcode in the manual

* doc/ref/api-evaluation.texi (Compilation): Update references from
  "objcode" to "rtl".
doc/ref/api-evaluation.texi