ros-mobile-robots / diffbot

DiffBot is an autonomous 2wd differential drive robot using ROS Noetic on a Raspberry Pi 4 B. With its SLAMTEC Lidar and the ROS Control hardware interface it's capable of navigating in an environment using the ROS Navigation stack and making use of SLAM algorithms to create maps of unknown environments.
https://ros-mobile-robots.com
BSD 3-Clause "New" or "Revised" License
297 stars 86 forks source link

Update mkdocs github action to include requirements.txt #33

Closed fjp closed 3 years ago

fjp commented 3 years ago

To use mkdocs-jupyter for the documentation it has to be installed for the documentation github action too. Otherwise the documentation build fails.

See also mhausenblas/mkdocs-deploy-gh-pages#71.