Re: file-truename, convert-standard-filename

[Eli Zaretskii]

> Date: Sun, 7 Feb 2010 18:26:41 -0500
> From: MON KEY <address@hidden>
> Cc: address@hidden
> 
> On Sat, Feb 6, 2010 at 11:05 PM, Eli Zaretskii <address@hidden> wrote:
> > See above: a file name is always a string.
> 
> Yeah.
> I'm surely beating this horse but....
> 
> (substring (documentation 'require) 0 56)
> 
> => "If feature FEATURE is not loaded, load it from FILENAME."
> 
> (require 'foo)
> 
> Which is the string of the filename referenced in the above form?

As Andreas points out, rather than looking at a small portion of the
doc string, why don't you read it in its entirety?  The answer to your
question is there.