Documentation/rv: Add deterministic automata monitor synthesis documentation

[linux-2.6-microblaze.git] / tools / verification / dot2 / dot2k

diff --git a/tools/verification/dot2/dot2k b/tools/verification/dot2/dot2k
index 69106f4..9dcd38a 100644 (file)
--- a/tools/verification/dot2/dot2k
+++ b/tools/verification/dot2/dot2k
@@ -4,6 +4,9 @@
 # Copyright (C) 2019-2022 Red Hat, Inc. Daniel Bristot de Oliveira <bristot@kernel.org>
 #
 # dot2k: transform dot files into a monitor for the Linux kernel.
+#
+# For further information, see:
+#   Documentation/trace/rv/da_monitor_synthesis.rst
 
 if __name__ == '__main__':
     from dot2.dot2k import dot2k