rename the file INSTALL in mkdocs.yml
rename the file INSTALL in mkdocs.yml

after the changes in the commit
"Renamed: options of install.sh and related doc" 2fde8dd7c62b74d2f3ca019930aaa98316892cd9

dzc34/Asqatasun,dzc34/Asqatasun,Asqatasun/Asqatasun,dzc34/Asqatasun,Asqatasun/Asqatasun,Asqatasun/Asqatasun,Asqatasun/Asqatasun,Asqatasun/Asqatasun,dzc34/Asqatasun,dzc34/Asqatasun