diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2021-05-12 12:23:13 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2021-05-12 12:23:13 +0200 |
commit | c25ed2c83eb05b2cd1bab6f4826221237fe08ebc (patch) | |
tree | c4d6958e7823bb49f6448b5efb5ac1e63cf4ec65 /.github/for_maintainers/new_gudhi_version_creation.md | |
parent | 1d7011f32573bb617894a3f263e2537c1f3a8649 (diff) | |
parent | b8b7f4880ceae8d3a65502b86aae0538072253e8 (diff) |
Merge from master
Diffstat (limited to '.github/for_maintainers/new_gudhi_version_creation.md')
-rw-r--r-- | .github/for_maintainers/new_gudhi_version_creation.md | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/.github/for_maintainers/new_gudhi_version_creation.md b/.github/for_maintainers/new_gudhi_version_creation.md index aadfae7d..d6c4cdd3 100644 --- a/.github/for_maintainers/new_gudhi_version_creation.md +++ b/.github/for_maintainers/new_gudhi_version_creation.md @@ -34,16 +34,21 @@ make -j 4 all && ctest -j 4 --output-on-failure ## Create the documentation ```bash mkdir gudhi.doc.@GUDHI_VERSION@ -make doxygen 2>&1 | tee dox.log && grep warning dox.log ``` ***[Check there are no error and the warnings]*** ```bash -cp -R gudhi.@GUDHI_VERSION@/doc/html gudhi.doc.@GUDHI_VERSION@/cpp cd gudhi.@GUDHI_VERSION@ rm -rf build; mkdir build; cd build cmake -DCMAKE_BUILD_TYPE=Release -DCGAL_DIR=/your/path/to/CGAL -DWITH_GUDHI_EXAMPLE=ON -DPython_ADDITIONAL_VERSIONS=3 .. +make doxygen 2>&1 | tee dox.log && grep warning dox.log +``` + +***[Check there are no error and the warnings]*** + +```bash +cp -R html ../../gudhi.doc.@GUDHI_VERSION@/cpp export LC_ALL=en_US.UTF-8 # cf. bug https://github.com/GUDHI/gudhi-devel/issues/111 make sphinx ``` |