Re: [Feature request] export to openoffice

[Jürgen Spitzmüller]

Richard Heck wrote:
> You can also just use `oolatex'---at least on Linux.

However, TeXLive 2007 does not ship the oolatex script. Therefore I'd prefer 
the verbose command.

> Should this be added to configure.py?

Yes.

Jürgen