fix invalid command in build instructions#1240

fatso83 wants to merge 1 commit intoAdaCore:masterAdaCore/ada_language_server:masterfrom

fatso83:patch-1fatso83/ada_language_server:patch-1Copy head branch name to clipboard