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. -- Felipe Monteiro de Carvalho