diff --git a/docs/manual/CoreTypes/dirset.html b/docs/manual/CoreTypes/dirset.html
index ef52fa65a..c01cc922e 100644
--- a/docs/manual/CoreTypes/dirset.html
+++ b/docs/manual/CoreTypes/dirset.html
@@ -11,7 +11,8 @@
 <h2><a name="dirset">DirSet</a></h2>
 <p>A DirSet is a group of directories. These directories can be found in a
 directory tree starting in a base directory and are matched by
-patterns taken from a number of <a href="patternset.html">PatternSets</a>.
+patterns taken from a number of <a href="patternset.html">PatternSets</a>
+and <a href="selectors.html">Selectors</a>.
 </p>
 <p>PatternSets can be specified as nested
 <code>&lt;patternset&gt;</code> elements. In addition, DirSet holds