@@ -39,8 +39,9 @@ def get_options(source):
3939
4040def create_highlighted_versions(output_basepath):
4141 root = os.path.dirname(os.path.abspath(__file__))
42+ sources = path.join(root, "source", "*")
4243
43− for source in glob.glob(path.join(root, "source", "*", "*")):
44+ for source in glob.glob(path.join(sources, "*")) + glob.glob(path.join(sources, ".*")):
4445 try:
4546 env = os.environ.copy()
4647 env.pop("PAGER", None)