docs.yml

name: docs
on:
  push:
    branches:
      - 'main'
      - 'dev*'
    paths:
      - 'knotty/scribblings/**'
      - '.github/workflows/docs.yml'
permissions:
  contents: write
defaults:
  run:
    shell: bash
jobs:
  deploy-docs:
    runs-on: ubuntu-latest
    name: Build and deploy backup docs
    steps:
      - name: Checkout
        uses: actions/checkout@master
      - name: Install Racket
        uses: Bogdanp/setup-racket@v1.11
        with:
          architecture: 'x64'
          distribution: 'full'
          version: 'stable'
      - name: Save Racket version
        run : racket --version > .racket-version
      - name: Install dependencies
        run:  |
          echo "installing dependencies"
          raco pkg install --auto --batch --no-docs --skip-installed \
               sweet-exp-lib threading-lib brag-lib br-parser-tools \
               sxml html-template html-parsing \
               mock mock-rackunit
      - name: (Re)install knotty from source
        run:  |
          pkgs=$(raco pkg show | grep '^ [^[]' | grep -v '^ Package' | cut -d ' ' -f2)
          echo "packages:" $pkgs
          if [ $(echo $pkgs | grep -cw knotty-lib) -gt 0 ]
          then
            echo "updating knotty-lib"
            raco pkg update --auto --batch --no-docs --force --type dir knotty-lib
          else
            echo "installing knotty-lib"
            raco pkg install --auto --batch --no-docs --force --type dir knotty-lib
          fi
          if [ $(echo $pkgs | grep -cw knotty) -gt 0 ]
          then
            echo "updating knotty"
            raco pkg update --auto --batch --no-docs --force --type dir knotty
          else
            echo "installing knotty"
            raco pkg install --auto --batch --no-docs --force --type dir knotty
          fi
      - name: Build docs for hosting
        run:  |
          mkdir -p manual/knotty/example/css
          mkdir -p manual/knotty/example/js
          mkdir -p manual/knotty/example/icon
          scribble +m --redirect-main http://pkg-build.racket-lang.org/doc/ --htmls --dest manual knotty/scribblings/knotty.scrbl
          cp knotty/scribblings/example/index.html manual/knotty/example/
          cp knotty/scribblings/example/lattice.png manual/knotty/example/
          cp knotty-lib/resources/css/knotty*.css manual/knotty/example/css/
          cp knotty-lib/resources/js/knotty*.js manual/knotty/example/js/
          cp knotty-lib/resources/icon/favicon.ico manual/knotty/example/icon/
          #cp -R knotty/scribblings/leaf-chart/ manual/knotty
          ls -R manual
      - name: Push to GitHub Pages
        uses: JamesIves/github-pages-deploy-action@v4.4.1
        with:
          folder: 'manual/knotty'
          branch: 'pages'