Browse Source

missing sed termination of substitution

Thomas B 1 month ago
parent
commit
c061e020cf
1 changed files with 1 additions and 1 deletions
  1. 1
    1
      .github/workflows/docs.yml

+ 1
- 1
.github/workflows/docs.yml View File

41
           DATE=$(date "+%Y_%m_%d_%H_%M_%S")
41
           DATE=$(date "+%Y_%m_%d_%H_%M_%S")
42
           cp duality.gb docs/duality.gb
42
           cp duality.gb docs/duality.gb
43
           cp duality.gb docs/duality_$DATE.gb
43
           cp duality.gb docs/duality_$DATE.gb
44
-          sed -i "s/duality.gb/duality_$DATE.gb" docs/index.html
44
+          sed -i "s/duality.gb/duality_$DATE.gb/g" docs/index.html
45
 
45
 
46
       - name: Setup Pages
46
       - name: Setup Pages
47
         uses: actions/configure-pages@v2
47
         uses: actions/configure-pages@v2

Loading…
Cancel
Save