v01d commented on pull request #1647: URL: https://github.com/apache/incubator-nuttx/pull/1647#issuecomment-680178323
I really do not think it is worth duplicating, there's no good reason to do so. You can include the file from Sphinx easily. We discussed converting it to Markdown which is fairly trivial. This way it looks good on Sphinx without any kind of tags and we have a single file. ---------------------------------------------------------------- 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: [email protected]
