Disclaimer for macros.md

mattulbrich · mattulbrich · commit beeaeef0766f · 2025-10-04T16:10:12.000+02:00
diff --git a/docs/workbench/Proof Scripts/macros.md b/docs/workbench/Proof Scripts/macros.md
@@ -1,5 +1,8 @@
 # Macros
 
+!!! warning
+    This page was automatically created. There seems to have been issues with the export format apparently.
+
 Generated on: ${new Date()} by `gendoc.groovy`.
 
 Covering the macros of [KeY](http://key-project.org).
