#!/bin/bash # This script is for local doc builds set -e export RUSTDOCFLAGS="--html-in-header ./src/html/latex.html" cargo doc --no-deps --features doc-images