Delete extra space; add <p> tags around text within a <div>
authorMisha Brukman <brukman+llvm@gmail.com>
Wed, 21 Jul 2004 18:02:43 +0000 (18:02 +0000)
committerMisha Brukman <brukman+llvm@gmail.com>
Wed, 21 Jul 2004 18:02:43 +0000 (18:02 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15079 91177308-0d34-0410-b5e6-96231b3b80d8

docs/SystemLibrary.html

index 4d95dee6b21e258ee26175d38c124622723ea53d..7229813aad70b222493d246a6d08e3784d86a223 100644 (file)
@@ -7,9 +7,11 @@
 </head>
 <body>
 
-<div class="doc_title"> System Library</div>
+<div class="doc_title">System Library</div>
 
-<div class="doc_warning">Warning: This document is a work in progress.</div>
+<div class="doc_warning">
+  <p>Warning: This document is a work in progress.</p>
+</div>
 
 <ul>
   <li><a href="#abstract">Abstract</a></li>