Documentation/rv: Add deterministic automata monitor synthesis documentation

[linux-2.6-microblaze.git] / Documentation / trace / rv / index.rst

diff --git a/Documentation/trace/rv/index.rst b/Documentation/trace/rv/index.rst
index 013a41a..46d47f3 100644 (file)
--- a/Documentation/trace/rv/index.rst
+++ b/Documentation/trace/rv/index.rst
@@ -8,3 +8,4 @@ Runtime Verification
 
    runtime-verification.rst
    deterministic_automata.rst
+   da_monitor_synthesis.rst