]> Nishi Git Mirror - gwion.git/commitdiff
Update
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 19 Jan 2020 19:04:17 +0000 (20:04 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 19 Jan 2020 19:04:17 +0000 (20:04 +0100)
.github/workflows/build.yml
docs/Overview/First_Steps/InstallingGwion.mdr
scripts/mdr2mdbook.sh

index 71ce1b7305662b18a4ca312d791c8dd2b7c586ba..e4744ca56771b15bd6f12576bb480dbb99169ea0 100644 (file)
@@ -109,11 +109,19 @@ jobs:
       with:
         mdbook-version: 'latest'
 
-    - name: try mdr
+    - name: Build book
       run: |
         export PATH=~/.cabal/bin:$PATH
         export PATH=.:$PATH
         make build
+
+     - name: Emojify
+       uses: fennecdjay/emojify-docker-action@v1
+       with:
+         directory: 'md'
+
+    - name: GIT things
+      run: |
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"
         git add -f book
index 057f8b81cbdce3a854110ad74b9a11fdc83eb240..b5350f24663eea2847f8f3411fb2295f2b2ed94c 100644 (file)
@@ -7,7 +7,7 @@ The source is accessible on [github](https:#!github.com).
 Provided you have git installed, you can get it with:
 
 ``` sh
-git clone https:#!github.com/fennecdjay/gwion
+git clone https://github.com/fennecdjay/gwion
 ```
 
 then change to the source directory
index 10781bc85b5b24c4e586c54277b18512de9d10a7..9dfbf5908bb9681de828e69c0ffb99577e15d3dc 100644 (file)
@@ -12,8 +12,6 @@ EOF
 
 mk_target() {
   sed 's/```\(.*\)gw/```\1cpp/' $1 |
-    sed 's/:tada:/\&#128540;/g'    |
-    sed 's/:champagne:/\&#127870;/g'    |
     sed 's#:gwion:#[Gwion](https://github.com/fennecdjay/Gwion)#g'
   footer
 }