Install sonic-pi-server-doc by entering the following commands in the terminal:
sudo apt update sudo apt install sonic-pi-server-doc
Description:
Documentation for Sonic Pi
These are the Markdown source files and a converted HTML version of the Sonic Pi main documentation. If you installed the sonic-pi IDE package, you propably don't need this package, as a copy of the documentation is already included within the application.
Homepage: http://sonic-pi.net/
Version: 2.10.0~repack-2.1
Section: universe/doc