From c9eae8306b36daa96d80626c51488dad2ad73a87 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Thu, 25 Sep 2025 22:06:21 +0900
Subject: [PATCH] add measure theory to dependency graph

---
 etc/builddoc_dependency_dot.pl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/etc/builddoc_dependency_dot.pl b/etc/builddoc_dependency_dot.pl
index 923275065..33cbc71e3 100644
--- a/etc/builddoc_dependency_dot.pl
+++ b/etc/builddoc_dependency_dot.pl
@@ -7,6 +7,7 @@
 print "  subgraph cluster_analysis { label=\"Analysis\" }\n";
 print "  subgraph cluster_topology { label=\"Topology\" }\n";
 print "  subgraph cluster_normedtype { label=\"NormedType\" }\n";
+print "  subgraph cluster_measure { label=\"Measure\" }\n";
 print "  subgraph cluster_lebesgue_integral { label=\"Lebesgue_integral\" }\n";
 while (<>) {
   if (m/([^\s]*)\.vo.*:(.*)/) {
@@ -26,6 +27,9 @@
     }elsif ($path =~ m/theories\/lebesgue_integral_theory/) {
         $url="mathcomp.analysis.lebesgue_integral_theory.$src.html";
         print "subgraph cluster_lebesgue_integral { \"$path\/$src\"[label=\"$src\",URL=\"$url\",fillcolor=10,fontcolor=white]}";
+    }elsif ($path =~ m/theories\/measure_theory/) {
+        $url="mathcomp.analysis.measure_theory.$src.html";
+        print "subgraph cluster_measure { \"$path\/$src\"[label=\"$src\",URL=\"$url\",fillcolor=11]}";
     }elsif ($path =~ m/theories/) {
        $url="mathcomp.analysis.$src.html";
        print "subgraph cluster_analysis { \"$path\/$src\"[label=\"$src\",URL=\"$url\",fillcolor=5]}";