btashton commented on pull request #1501: URL: https://github.com/apache/incubator-nuttx/pull/1501#issuecomment-674213032
> 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. The docs on the wiki are for the latest release and it is a manual process to update them. The CI creates a minified inlined HTML file so that the wiki can render it, but it does not update anything. So short of it is that we can drop the doc CI step that already existed and add the one that exists in this PR that generates the HTML files as Artifacts. As I said earlier I will be happy to do the CI bit that connects this all to the website release. ---------------------------------------------------------------- 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
