Merge pull request #2242 from jwillemsen/jwi-fixreadme

Fix formatting
DOCGroup · May 23, 2024 · d26d07d · d26d07d
2 parents 54c9bcd + 3b5f334
commit d26d07d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ACE/ACE-INSTALL.html b/ACE/ACE-INSTALL.html
@@ -427,7 +427,7 @@ <h3><a name="unix_traditional">Using the Traditional ACE/GNU Configuration</a></
   </li>
   <li>If you've set the INSTALL_PREFIX before building, now run
 <blockquote><code>% make install</code></blockquote>
-    <p>An alternative to directly running <code>make install</make> is to use <code>$ACE_ROOT/bin/install_proj.sh</code>
+    <p>An alternative to directly running <code>make install</code> is to use <code>$ACE_ROOT/bin/install_proj.sh</code>
        which will only install projects that are built (instead of trying to build each one during <code>make install</code>).
     </p>
   </li>