#! /usr/bin/env bash
if [ -d "$SAGE_DOC" ]; then
    rm -rf "$SAGE_DOC"/doctrees "$SAGE_DOC"/inventory "$SAGE_DOC"/pdf
fi
