#!/usr/bin/env bash
# This file was deprecated by the doctest build.