* update_web_docs: Allow for the same file name in different