Fix script that generates the library and tools HTML documentation for the recent changes to the `lgtdoc` tool