deploy pipeline for docs

.circleci/config.yml

@@ -922,12 +922,18 @@ jobs:
     steps:
       - *checkout
       - *setup_env
-      - run:
-          name: "Copy docs dockerignore"
-          command: cp docs/.dockerignore .
       - run:
           name: "Build docs"
           command: build docs
+      - run:
+          name: "Deploy docs
+          command: 
+            if [ "$CIRCLE_BRANCH" == "master" ]; then
+              echo "Deploying docs (on master)."
+              docs/deploy_netlify.sh
+            else
+              echo "Skipping doc deploy (not on master)."
+            fi
 
   e2e-join:
     docker:

build_manifest.yml

@@ -173,6 +173,7 @@ docs:
   rebuildPatterns:
     - ^docs/
     - ^.*.cpp$
+    - ^.*.hpp$
     - ^.*.ts$
     - ^.release-please-manifest.json$
     - ^.*/noir-version.json$

docs/Dockerfile

@@ -2,7 +2,4 @@ FROM 278380418400.dkr.ecr.eu-west-2.amazonaws.com/yarn-project
 WORKDIR /usr/src
 COPY . .
 WORKDIR /usr/src/docs
-RUN ls node_modules >&2 && false 
-RUN npm install netlify-cli -g
-RUN yarn && yarn build
-RUN netlify deploy
+RUN yarn && yarn build

docs/Dockerfile.dockerignore

@@ -10,6 +10,7 @@
 **/processed-docs-cache
 # rebuild patterns
 !**/*.cpp
+!**/*.hpp
 !**/*.ts
 !**/.release-please-manifest.json
 !**/noir-version.json

docs/deploy_netlify.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+[ -n "${BUILD_SYSTEM_DEBUG:-}" ] && set -x # conditionally trace
+set -eu
+
+extract_repo docs /usr/src .
+cd usr/src/docs
+npm install netlify-cli -g
+netlify deploy
+netlify deploy --prod