Added a link to the Stretching page from the Toolbox page

diff --git a/include/toolbox.html b/include/toolbox.html
index 7b2f65b5af44049d1d934c84d6a5365ad261740a..e4bab1bf1469dfd7ae9f6f3d1b7b84f548bd7b15 100644 (file)
--- a/include/toolbox.html
+++ b/include/toolbox.html
@@ -128,7 +128,8 @@
   Resizing a region is done by <kbd class="mouse">left</kbd>-clicking on
   the right-hand side of the region and dragging the edge to the desired
   position; once the button is released a <kbd class="menu">Time Stretch
-  Audio</kbd> dialog will appear.
+  Audio</kbd> dialog will appear, as detailed in the dedicated <a href="@@stretching">
+  Stretching</a> page.
 </p>
 
 <h3 id="audition">Audition Mode</h3>