diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml new file mode 100644 index 0000000..db116ba --- /dev/null +++ b/.github/workflows/makefile.yml @@ -0,0 +1,21 @@ +name: Make_ref +on: + push: + branches: + - master +permissions: + contents: write +jobs: + deploy: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: actions/setup-python@v4 + with: + python-version: 3.x + - uses: actions/cache@v2 + with: + key: ${{ github.ref }} + path: .cache + - run: pip install -r user_guide/requirements.txt + - run: (cd reference_manual ; make; make en)