import os, re
SAGE_DOC = os.environ['SAGE_DOC']
LANGUAGES = [d for d in os.listdir(SAGE_DOC) if re.match('^[a-z][a-z]$', d)]
SPHINXOPTS = ""
PAPER = ""
OMIT = ["introspect"]
if PAPER:
PAPEROPTS = "-D latex_paper_size=" + PAPER
else:
PAPEROPTS = ""
ALLSPHINXOPTS = SPHINXOPTS + " " + PAPEROPTS + " "