No program named souffle-profile

[Jck]

I'm using Ubuntu 20.04 and I installed soufflé by following commands.

curl -s https://packagecloud.io/install/repositories/souffle-lang/souffle/script.deb.sh | sudo bash
sudo apt install souffle

I found souffle, souffle-compile and souffleprof, obviously souffle-profile has changed to souffleprof.

Recommend to update the doc, just 4 search results in this repo 😄. found many usage in ./pages/docs/*.md

[Bernhard Scholz]

Please, can you do this for us?

(Press the edit button and create a pull-request after editing).

[Jck]

I noticed that the help information isn't updated either.

The help information does not match the content in ./pages/docs/profiler.md, I've replaced it with above and modified souffle-profile to souffleprof in the markdown.