diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml new file mode 100644 index 0000000..5d5f78d --- /dev/null +++ b/.github/workflows/gh-pages.yml @@ -0,0 +1,41 @@ +name: github pages + +on: + push: + branches: + - master + +jobs: + deploy: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + + - name: install extra repository + run: sudo add-apt-repository ppa:kelleyk/emacs + + - name: refresh apt + run: sudo apt-get update + + - name: install dependencies + run: sudo apt-get install emacs26 + + - name: make + run: cd tools/ && ./build_doc.sh && cd .. + + - name: pwd + run: pwd + + - name: ls + run: ls -sh ./docs + + - name: Deploy + uses: JamesIves/github-pages-deploy-action@4.1.0 + with: + branch: gh-pages + folder: ./docs + +# github_token: ${{ secrets.GITHUB_TOKEN }} +# publish_dir: ./docs + + diff --git a/docs/.gitignore b/docs/.gitignore deleted file mode 100644 index 2d19fc7..0000000 --- a/docs/.gitignore +++ /dev/null @@ -1 +0,0 @@ -*.html