Update compilation doc to match website version

This commit is contained in:
Mounir IDRASSI
2023-06-09 20:16:49 +02:00
parent 9d9a73d4eb
commit e7f5bca0b5
4 changed files with 59 additions and 75 deletions
Binary file not shown.