Install funnelweb-doc by entering the following commands in the terminal:
sudo apt update sudo apt install funnelweb-doc
Description:
Documentation for funnelweb
This package includes the HTML manuals for the funnelweb litterate-programming system. These are the Tutorial Manual, the Reference Manual, and the Developer Manual.
Version: 3.2d-4
Section: universe/doc