Fix for internal anchor links in the build script.

[ardour-manual] / include / plugin-manager.html

diff --git a/include/plugin-manager.html b/include/plugin-manager.html
index b47b0ec5b2dba407b9f3f62db88faf677150971e..c4b00b25f8fba15cb362a7b98639346ac633f702 100644 (file)
--- a/include/plugin-manager.html
+++ b/include/plugin-manager.html
@@ -39,7 +39,7 @@
 <p>
   The middle of the <dfn>Plugin Manager</dfn> is used to filter the listed
   plugins. Typing into the text-box will filter the plugins based on the filter
 <p>
   The middle of the <dfn>Plugin Manager</dfn> is used to filter the listed
   plugins. Typing into the text-box will filter the plugins based on the filter

-  mode selected by drop-down box. Clicking <kbd class="button">Clear</kbd>
+  mode selected by drop-down box. Clicking <kbd class="menu">Clear</kbd>

   empties the text-box.
 </p>
 
   empties the text-box.
 </p>
 


@@ -49,11 +49,11 @@
   The bottom half of the plugin manager shows plugins that have been selected
   for insertion into the <dfn>Processor Box</dfn>. A plugin can be added by
   either double clicking the plugin entry in the top half, or, if already
   The bottom half of the plugin manager shows plugins that have been selected
   for insertion into the <dfn>Processor Box</dfn>. A plugin can be added by
   either double clicking the plugin entry in the top half, or, if already

-  selected in top half, by clicking <kbd class="button">Add</kbd>.
+  selected in top half, by clicking <kbd class="menu">Add</kbd>.

 <p>
 
 <p>
   Plugins can be removed from the bottom half with a double click, or, if
 <p>
 
 <p>
   Plugins can be removed from the bottom half with a double click, or, if

-  already selected, by clicking <kbd class="button">Remove</kbd>.
+  already selected, by clicking <kbd class="menu">Remove</kbd>.

 </p>
 
 </p>