diff --git a/docs/source/installation.rst b/docs/source/installation.rst index de27e0961..2fb5b3a37 100644 --- a/docs/source/installation.rst +++ b/docs/source/installation.rst @@ -21,7 +21,7 @@ of Ubuntu.) :: sudo apt update - sudo apt install -y git zip unzip openjdk-17-jdk python3-pip autoconf libtool pkg-config zlib1g-dev libncurses5-dev libncursesw5-dev libtinfo5 cmake libffi-dev libssl-dev + sudo apt install -y git zip unzip openjdk-17-jdk python3-pip autoconf libtool pkg-config zlib1g-dev libncurses5-dev libncursesw5-dev libtinfo5 cmake libffi-dev libssl-dev automake # add the following line at the end of your ~/.bashrc file export PATH=$PATH:~/.local/bin/