Add Garn, Loop, Course, and Knitgraph structs #224
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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/[email protected] | |
| 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/[email protected] | |
| with: | |
| folder: 'manual/knotty' | |
| branch: 'pages' |