linguini1 opened a new pull request, #16321:
URL: https://github.com/apache/nuttx/pull/16321

   ## Summary
   
   This PR introduces more chip tags to various different boards in the 
documentation, as part of the initiative to add the tagging system to the NuttX 
docs.
   
   This PR adds tags to boards that I interact with more regularly, not all 
boards. The hope is that these boards are commonly used by others and therefore 
will benefit the most from the search enhancement. I will introduce tags to the 
rest of the boards on NuttX over time.
   
   ## Impact
   
   This impacts only the documentation, no other part of the system. The boards 
touched in this PR are now searchable by their chips/chip families using tags.
   
   ## Testing
   
   I build the documentation locally and verified that the tags were generated 
correctly and that were no build errors. I also verified that all tags appear 
on the tags main page and that boards can be navigated to through those links.


-- 
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.

To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org

Reply via email to