clean: @echo "Deleting generated docs..." rm -rf en/reference/*/sage rm -rf en/reference/*/sagenb rm -rf en/reference/sage rm -rf en/reference/sagenb rm -rf output
