Drop "MakePatchDirs" section from readme-developers.html

diff --git a/Docs/Developers/readme-developers.html b/Docs/Developers/readme-developers.html
index a2318ab..c85c849 100644 (file)
--- a/Docs/Developers/readme-developers.html
+++ b/Docs/Developers/readme-developers.html
@@ -52,7 +52,6 @@
 <h3>Table of Contents</h3>
 <ol>
   <li><a href="#Code_changes">Code changes</a></li>
-  <li><a href="#MakePatchDirs">MakePatchDirs</a></li>
   <li><a href="#Minor_code_changes_and_bug_fixes">Minor code changes and bug fixes</a></li>
   <li><a href="#Coding_conventions">Coding conventions</a></li>
   <li><a href="#Doxygen_comments">Doxygen comments</a></li>
@@ -151,12 +150,6 @@ mailing list.</p>
 subfolders have their own <code>Changes.txt</code> -file. If the file exists in the folder, it must be
 used instead of "global" <code>Src/Changes.txt</code>.
 
-<h3><a name="MakePatchDirs">MakePatchDirs</a></h3>
-
-<p>Perry wrote a small program called
-<a href="readme-developers-MakePatchDirs.html">MakePatchDirs</a>, which helps
-in his patch process -- read the link for more information.</p>
-
 <h3><a name="Minor_code_changes_and_bug_fixes">Minor code changes and bug fixes</a></h3>
 
 <p>It is reasonable to post small snippets of code showing small changes