removed old doc subdirectory after moving all html files to top level
v5.2.1 release from doc/doc@5fcd911597