message: Skip doxygen depending on env var
diff: @@ -229,4 +229,5 @@ def setup(self):
  srcdir = pathlib.Path(self.srcdir)
  breathe_projects["CCF"] = str(srcdir / breathe_projects["CCF"])
  + if not os.environ.get("SKIP_DOXYGEN"):
  subprocess.run(["doxygen"], cwd=srcdir / "..", check=True)
  