diff --git a/tp/tp7.md b/tp/tp7.md index 620138b3311093d3bbf769f54255bc15a121af36..1d72670aa6d62df2152727162363f76ce75c5534 100644 --- a/tp/tp7.md +++ b/tp/tp7.md @@ -7,6 +7,12 @@ > > Il est préférable de travailler avec un projet forge (voir [rappels gitlab](../gitlab.md)) +**Remarque** `dune` créée un répertoire `_build` qu'il ne faut pas versionner. Pour éviter de le versionner créer à la racine du répertoire cloné un fichier `.gitignore` (attention au `.`) avec la ligne suivante (ajouter la ligne au fichier s'il existe déjà ): + +```gitignore +_build +``` + ## 0. Compléments API OCaml ### 0.1. Entrées sorties en OCaml