summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorVincent Rouvreau <vincent.rouvreau@inria.fr>2022-06-09 10:11:11 +0200
committerVincent Rouvreau <vincent.rouvreau@inria.fr>2022-06-09 10:11:11 +0200
commit88573b11c3cb7b65fc0f716054d7258e73d9beaf (patch)
treeed45686a17d1f2d63f3f0013a425cf8daf5734ac /.github
parent5839625a253fbb54b40205da1a3e2811b29a1be2 (diff)
[skip ci] doc review: rename the repository gudhi-devel
Diffstat (limited to '.github')
-rw-r--r--.github/how_to_compile_gudhi_in_a_conda_env.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/how_to_compile_gudhi_in_a_conda_env.md b/.github/how_to_compile_gudhi_in_a_conda_env.md
index fc9b37a8..4acfca2e 100644
--- a/.github/how_to_compile_gudhi_in_a_conda_env.md
+++ b/.github/how_to_compile_gudhi_in_a_conda_env.md
@@ -13,7 +13,7 @@ conda activate gudhi
mamba install -c conda-forge python cmake doxygen eigen cgal-cpp
```
-Some of the requirements are in the gudhi repository (please refer to
+Some of the requirements are in the gudhi-devel repository (please refer to
[how to use github to contribute to gudhi](how_to_use_github_to_contribute_to_gudhi.md)).
Once the gudhi-devel repository is cloned on your machine (`git clone...`) - let's call it `/workdir/gudhi-devel` i.e. -
and once the submodules are initialised (`git submodule update --init`):