From 88573b11c3cb7b65fc0f716054d7258e73d9beaf Mon Sep 17 00:00:00 2001 From: Vincent Rouvreau Date: Thu, 9 Jun 2022 10:11:11 +0200 Subject: [skip ci] doc review: rename the repository gudhi-devel --- .github/how_to_compile_gudhi_in_a_conda_env.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github') 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`): -- cgit v1.2.3