update api-evaluation.texi
authorAndy Wingo <wingo@pobox.com>
Fri, 28 Jan 2011 16:11:56 +0000 (17:11 +0100)
committerAndy Wingo <wingo@pobox.com>
Fri, 28 Jan 2011 16:16:22 +0000 (17:16 +0100)
commit043bca032670f55d79888ef7ead0b4a1a9480dce
tree9577bbb7e2bbd4879b0a8aa104c2fcc518ca2cd9
parentb5c40589ecb249b8a0989c9409c37743c1f26557
update api-evaluation.texi

* doc/ref/api-evaluation.texi (Compilation): Update compile-file and
  compiled-file-name docs.
doc/ref/api-evaluation.texi