Deploy dev docs - fix sed command (#4221)

# Objective

- #3535 introduced deploying docs with an error in sed command

## Solution

- fix sed command
- make the command cross platform
This commit is contained in:
François 2022-03-15 23:52:44 +00:00
parent e020c57211
commit 6ff17eaab8

View file

@ -28,7 +28,7 @@ jobs:
# - Adds a meta tag that forces Google not to index any page on the site.
- name: Pre-docs-build
run: |
sed -i "s/icon.png/icon-docs-dev.png" src/lib.rs
sed -i.bak "s/icon.png/icon-docs-dev.png/" src/lib.rs
echo "<meta name=\"robots\" content=\"noindex\">" > header.html
- name: Build docs