Nicer info about the origin of nanopubs

RiverBench · Aug 16, 2024 · 5e61011 · 5e61011
1 parent 6c9510f
commit 5e61011
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/main/scala/commands/CategoryDocGenCommand.scala b/src/main/scala/commands/CategoryDocGenCommand.scala
@@ -248,7 +248,13 @@ object CategoryDocGenCommand extends Command:
         Await.ready(preloadBibFuture, 60.seconds)
         val benchResultsDoc = benchResultsDocBuilder.build(
           label,
-          s"""This benchmark result was reported in a Nanopublication: [$npUri]($npUri).""".stripMargin,
+          s"""!!! info
+             |
+             |    This benchmark result was reported in a Nanopublication: [$npUri]($npUri).
+             |
+             |    The documentation here was generated automatically.
+             |
+             |""".stripMargin,
           newRootNode
         )
         // Remove the section title