On 27.4.2013, at 08:24, Carsten Dominik <dominik@uva.nl> wrote:
> Hi Nicolas,
>
> I have a file that I am exporting to HTML, and the file contains
>
> #+BIND: org-time-stamp-custom-formats ("<%d-%m-%Y>" . "<%d-%m-%Y %H:%M>")
> #+BIND: org-display-custom-times t
>
> Apparently these lines are not used during HTML export. I debugged the
> org-translate-time function. When it is called during HTML export, both
> variables do not have the desired values.
>
> This should still work, right?
Never mind, I had not turned this feature on. Sorry for the noise
- Carsten