Zitat von Felipe Monteiro de Carvalho <felipemonteiro.carvalho@gmail.com>:

> So I use  update_lcl_html.sh  ?
>
> A bit unintuitive, not? I have never built the docs, so I have nothing
> to be updated. I'd expect the script to be named build_lcl_html.sh,
> and preferably directly in the docs dir instead of the html dir to be
> easier to find.

Historical reasons.

If you want to rename them, ask Vincent. Maybe he is using them for the
snapshots.

Mattias


