From 0d93b5f58d0c82e5f27f7339b14b9972aa88861c Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sun, 19 Jan 2020 20:04:17 +0100 Subject: [PATCH] Update --- .github/workflows/build.yml | 10 +++++++++- docs/Overview/First_Steps/InstallingGwion.mdr | 2 +- scripts/mdr2mdbook.sh | 2 -- 3 files changed, 10 insertions(+), 4 deletions(-) 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 } -- 2.43.0