This PR fixes small typos in the documentation of this repository and make more explicit some install and configuration instructions.
Specifically, 1- in the README.md file under the doc folder, information about the .readthedocs.yaml configuration file has been added and a typo in the name of the doc folder fixed. 2- In the install instructions of the Vscode extension of Lambdapi, few lines have been added to explain how to export the env variables of nodejs permanently in case the user wishes to follow the instructions often as to contribute to the code for instance.
fblanqui
commented
4 months ago
This PR fixes small typos in the documentation of this repository and make more explicit some install and configuration instructions.
Specifically, 1- in the README.md file under the doc folder, information about the .readthedocs.yaml configuration file has been added and a typo in the name of the doc folder fixed. 2- In the install instructions of the Vscode extension of Lambdapi, few lines have been added to explain how to export the env variables of nodejs permanently in case the user wishes to follow the instructions often as to contribute to the code for instance.