Andreas Leha <[email protected]> writes:

> But here an obvious
> 'solution' would be to move the short caption to #+SHORT_CAPTION.

Yes.  #+CAPTION[...]: is clumsy.

-- 
 Bastien

Reply via email to