Some scripts to help create a dynamic logbook in my own style with HTML pages from LaTeX source files