docs: fix incorrect Linux PATH configuration for midenup#194

giwaov wants to merge 1 commit into0xMiden:main0xMiden/docs:mainfrom

giwaov:fix/ubuntu-path-issue-181giwaov/miden-docs:fix/ubuntu-path-issue-181Copy head branch name to clipboard