On Tue, Nov 02, 2010 at 04:44:11PM +0100, Giovanni Ridolfi wrote:
> Aidan Gauland <aidalgol@no8wireless.co.nz> writes:
> 
> > Is there an export option to specify the name of the file to which to
> > export the org file? 
> 
> for documents:
> #+TITLE:

This doesn't seem to allow me to specify the filename.  For example,
the file...

#+TITLE: bar.goo

* A heading
foo foo

...is exported (as HTML) to foo.html, not bar.goo.

--Aidan