From 793aa380a8fc0866d30697d4b6e6c058078d1f0d Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Mon, 19 Feb 2007 06:19:16 +0000
Subject: [PATCH] rename section to Copyright, License, and Patents

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@34411 91177308-0d34-0410-b5e6-96231b3b80d8
---
 docs/DeveloperPolicy.html | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

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">