Skip to content

added papers to idea corner #70

added papers to idea corner

added papers to idea corner #70

Workflow file for this run

name: "Push Docs Build"
on: [push]
permissions:
contents: write
jobs:
# anything in the job "docs" is executed on the same runner
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Setup
run: |
wget https://bootstrap.pypa.io/get-pip.py
python get-pip.py
cd $GITHUB_WORKSPACE/docs
python -m pip install -r requirements.txt
sudo apt-get update
sudo apt-get install pandoc
- name: Convert LaTeX Chapters
run: |
cp -r $GITHUB_WORKSPACE/thesis/chap $GITHUB_WORKSPACE/docs/source/
cp -r $GITHUB_WORKSPACE/thesis/img $GITHUB_WORKSPACE/docs/source/chap/
cd $GITHUB_WORKSPACE/docs/source/chap
pandoc -f latex -t rst *.tex -o tex_stuff.rst
rm *.tex
cd $GITHUB_WORKSPACE/docs
TZ=UTC make html
- uses: peaceiris/actions-gh-pages@v3
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
with:
publish_branch: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/build/html/