[doc][fix] Set the proper DOCTYPE in the extracted html files