[doc] Allow multiple IP directories per dashboard

Allow to specify more than one directory to search for IP blocks for a
dashboard.

This commit doesn't change the generted dashboard, it looks as it did
before.

Signed-off-by: Philipp Wagner <phw@lowrisc.org>

hw/_index.md

diff --git a/hw/_index.md b/hw/_index.md
index 6f5bab2..cc6d88f 100644
--- a/hw/_index.md
+++ b/hw/_index.md
@@ -28,7 +28,7 @@
 
 ## Comportable IPs
 
-{{< dashboard "hw/ip" >}}
+{{< dashboard "comportable" >}}
 
 ## Processor cores
 

util/build_docs.py

diff --git a/util/build_docs.py b/util/build_docs.py
index e45d5f4..effceba 100755
--- a/util/build_docs.py
+++ b/util/build_docs.py
@@ -86,9 +86,11 @@
     ],
 
     # Pre-generate dashboard fragments from these directories.
-    "dashboard_definitions": [
-        "hw/ip",
-    ],
+    "dashboard_definitions": {
+        "comportable": [
+            "hw/ip",
+        ],
+    },
 
     # Pre-generate testplan fragments from these files.
     "testplan_definitions": [
@@ -137,13 +139,16 @@
 
 
 def generate_dashboards():
-    for dashboard in config["dashboard_definitions"]:
+    for dashboard_name, dirs in config["dashboard_definitions"].items():
         hjson_paths = []
-        hjson_paths.extend(
-            sorted(SRCTREE_TOP.joinpath(dashboard).rglob('*.prj.hjson')))
+        for d in dirs:
+            hjson_paths += SRCTREE_TOP.joinpath(d).rglob('*.prj.hjson')
+
+        hjson_paths.sort(key=lambda f: f.name)
 
         dashboard_path = config["outdir-generated"].joinpath(
-            dashboard, 'dashboard')
+            dashboard_name, 'dashboard')
+        dashboard_path.parent.mkdir(exist_ok=True, parents=True)
         dashboard_html = open(str(dashboard_path), mode='w')
         for hjson_path in hjson_paths:
             gen_dashboard_entry.gen_dashboard_html(hjson_path, dashboard_html)