Add link to annotation docpage into the index

Signed-off-by: Luca BRUNO <lucab@debian.org>
zamf · Jul 30, 2013 · ee4c814 · ee4c814
1 parent c23aaac
commit ee4c814
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -107,7 +107,7 @@ <h2>Selection Plugins</h2>
 <li><a class="reference external" href="Plugins/BaseInstructions.html">BaseInstructions</a> implements various custom instructions to control symbolic execution from the guest.</li>
 <li><em>SymbolicHardware</em> implements symbolic PCI and ISA devices as well as symbolic interrupts and DMA. Refer to the <a class="reference external" href="Windows/DriverTutorial.html">Windows driver testing</a> tutorial for usage instructions.</li>
 <li><em>CodeSelector</em> disables forking outside of the modules of interest</li>
-<li><em>Annotation</em> plugin lets you intercept arbitrary instructions and function calls/returns and write Lua scripts to manipulate the execution state, kill paths, etc.</li>
+<li><a class="reference external" href="Plugins/Annotation.html">Annotation</a> plugin lets you intercept arbitrary instructions and function calls/returns and write Lua scripts to manipulate the execution state, kill paths, etc.</li>
 </ul>
 </div>
 <div class="section" id="analysis-plugins">

diff --git a/docs/index.rst b/docs/index.rst
@@ -88,7 +88,7 @@ These plugins allow you to specify which paths to execute and where to inject sy
 * `BaseInstructions <Plugins/BaseInstructions.html>`_ implements various custom instructions to control symbolic execution from the guest.
 * *SymbolicHardware* implements symbolic PCI and ISA devices as well as symbolic interrupts and DMA. Refer to the `Windows driver testing <Windows/DriverTutorial.html>`_ tutorial for usage instructions.
 * *CodeSelector* disables forking outside of the modules of interest
-* *Annotation* plugin lets you intercept arbitrary instructions and function calls/returns and write Lua scripts to manipulate the execution state, kill paths, etc.
+* `Annotation <Plugins/Annotation.html>`_ plugin lets you intercept arbitrary instructions and function calls/returns and write Lua scripts to manipulate the execution state, kill paths, etc.
 
 Analysis Plugins
 ----------------