Open jwdevantier opened 1 year ago
Once the documentation site has been launched, we should ensure that the result of running make with no arguments lists the targets but also refers the user to the documentation website.
Once the documentation site has been launched, we should ensure that the result of running make with no arguments lists the targets but also refers the user to the documentation website.