Documentation changes only.
Added a couple of links to the "Valgrind skins" doc, because there were none.
Added a section "suggested skins" in the "Valgrind skins" doc, just in case it
inspires anyone in user-land.
MERGE TO STABLE
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1482 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/docs/manual.html b/docs/manual.html
index 4ba4947..b4668cb 100644
--- a/docs/manual.html
+++ b/docs/manual.html
@@ -100,14 +100,23 @@
<h4>6 <a href="hg_main.html#hg-top">
Helgrind: a data-race detector</a></h4>
+<p>
+The following is not part of the user manual. It describes how you can
+write skins for Valgrind, in order to make new program supervision
+tools.
+
+<h4>7 <a href="coregrind_skins.html">
+ Valgrind Skins</a></h4>
+
+<p>
The following are not part of the user manual. They describe internal
details of how Valgrind works. Reading them may rot your mind. You
have been warned.
-<h4>7 <a href="mc_techdocs.html#mc-techdocs">
+<h4>8 <a href="mc_techdocs.html#mc-techdocs">
The design and implementation of Valgrind</a></h4>
-<h4>8 <a href="cg_techdocs.html#cg-techdocs">
+<h4>9 <a href="cg_techdocs.html#cg-techdocs">
How Cachegrind works</a></h4>
<hr width="100%">