diff options
author | RĂ©mi Flamary <remi.flamary@gmail.com> | 2022-02-23 15:16:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-23 15:16:48 +0100 |
commit | 17814726200b4010afbf52701e8bcb132d678502 (patch) | |
tree | fdabdd2256a8291d10798741423ef530fa74b6f0 /.circleci/config.yml | |
parent | 3302cd48cdcc5d4832997bae921952cc3917fb59 (diff) |
[MRG] Proper links in release file in documentation (#350)
* propreer links in release file in documentation
* add pr in release file
Diffstat (limited to '.circleci/config.yml')
-rw-r--r-- | .circleci/config.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 5427979..39c19fb 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -57,6 +57,11 @@ jobs: which python python -c "import ot" + - run: + name: Correct link in release file + command: | + sed -i -r 's/PR #([[:digit:]]*)/\[PR #\1\]\(https:\/\/github.com\/PythonOT\/POT\/pull\/\1\)/' RELEASES.md + sed -i -r 's/Issue #([[:digit:]]*)/\[Issue #\1\]\(https:\/\/github.com\/PythonOT\/POT\/issues\/\1\)/' RELEASES.md # Build docs - run: name: make html |