From: Jérémie Astor Date: Sun, 19 Jan 2020 19:04:17 +0000 (+0100) Subject: Update X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=0d93b5f58d0c82e5f27f7339b14b9972aa88861c;p=gwion.git Update --- diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 71ce1b73..e4744ca5 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -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 diff --git a/docs/Overview/First_Steps/InstallingGwion.mdr b/docs/Overview/First_Steps/InstallingGwion.mdr index 057f8b81..b5350f24 100644 --- a/docs/Overview/First_Steps/InstallingGwion.mdr +++ b/docs/Overview/First_Steps/InstallingGwion.mdr @@ -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 diff --git a/scripts/mdr2mdbook.sh b/scripts/mdr2mdbook.sh index 10781bc8..9dfbf590 100644 --- a/scripts/mdr2mdbook.sh +++ b/scripts/mdr2mdbook.sh @@ -12,8 +12,6 @@ EOF mk_target() { sed 's/```\(.*\)gw/```\1cpp/' $1 | - sed 's/:tada:/\😜/g' | - sed 's/:champagne:/\🍾/g' | sed 's#:gwion:#[Gwion](https://github.com/fennecdjay/Gwion)#g' footer }