From: Chris Lattner <sabre@nondot.org>
Date: Mon, 19 Feb 2007 06:19:16 +0000 (+0000)
Subject: rename section to Copyright, License, and Patents
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=793aa380a8fc0866d30697d4b6e6c058078d1f0d;p=oota-llvm.git

rename section to Copyright, License, and Patents


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@34411 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/docs/DeveloperPolicy.html b/docs/DeveloperPolicy.html
index 587f493e539..0a0a6b57684 100644
--- a/docs/DeveloperPolicy.html
+++ b/docs/DeveloperPolicy.html
@@ -22,7 +22,7 @@
     <li><a href="#incremental">Incremental Development</a></li>
     <li><a href="#attribution">Attribution of Changes</a></li>
   </ol></li>
-  <li><a href="#candl">Copyright and License</a>
+  <li><a href="#clp">Copyright, License, and Patents</a>
   <ol>
     <li><a href="#copyright">Copyright</a></li>
     <li><a href="#license">License</a></li>
@@ -341,7 +341,7 @@ Changes</a></div>
     <li>There should be only one name at the top of the file and it should be
     the person who created the file.</li>
     <li>Placing your name in the file does not imply <a
-        href="#candl">copyright</a>: it is only used to attribute the file to
+        href="#clp">copyright</a>: it is only used to attribute the file to
         its original author.</li>
     <li>Developers should be aware that after some time has passed, the name at
     the top of a file may become meaningless as maintenance/ownership of files
@@ -358,7 +358,9 @@ Changes</a></div>
 
 
 <!--=========================================================================-->
-<div class="doc_section"><a name="candl">Copyright and License</a></div>
+<div class="doc_section">
+  <a name="clp">Copyright, License, and Patents</a>
+</div>
 <!--=========================================================================-->
 
 <div class="doc_text">