diff --git a/_docs/overview/rtos/index.md b/_docs/overview/rtos/index.md index 9293120d..2d341cad 100644 --- a/_docs/overview/rtos/index.md +++ b/_docs/overview/rtos/index.md @@ -50,7 +50,7 @@ In this section, we review the main features of the three RTOSes supported offic ### **FreeRTOS** -FreeRTOS is distributed under the MIT license. It is know particularly for is simplicity and the extension a:FreeRTOS provided by Amazon. For micro-ROS, we make use of the POSIX extension. +FreeRTOS is distributed under the MIT license. It is known particularly for its simplicity and the extension a:FreeRTOS provided by Amazon. For micro-ROS, we make use of the POSIX extension.
diff --git a/scripts/cibuild b/scripts/cibuild index f9056ca1..5a6cccdb 100755 --- a/scripts/cibuild +++ b/scripts/cibuild @@ -17,6 +17,7 @@ fi IGNORE_HREFS=${IGNORE_HREFS:+$IGNORE_HREFS,}$(ruby -e "puts %w{ vimeo.com omg.org + twitter.com ${ADDITIONS} }.map{|h| \"/#{h}/\"}.join(\",\")" )