#!/bin/bash

set -x

(
  cd docs
  ./build_doc.sh
)