v01d commented on pull request #1501: URL: https://github.com/apache/incubator-nuttx/pull/1501#issuecomment-674210187
I have finally completed migration of all documents. Only one not completely migrated is the detailed list of supported platforms. @adamfeuer as you mentioned you could take care of this, you can create a PR to my fork against the docs branch as before. I wanted to check with you (maybe @btashton ?): I understand that the latest version of HTML docs is always on the Wiki, built from the repo, right? If so, I would include the deletion of all HTMLs and renaming of doc/ to Documentation/ in this PR. The wiki would then host the archived version of latest HTML docs. Does that sound correct? Or should we go about this another way? My intention is that with this PR, the new docs become the official docs and any other change which impacts documentation will already be done over these (and not HTMLs), thus the idea of removing them. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org