<pre style='margin:0'>
Joshua Root (jmroot) pushed a commit to branch master
in repository macports-base.

</pre>
<p><a href="https://github.com/macports/macports-base/commit/9ec8d2f22698b16905deef163d982451efc71748">https://github.com/macports/macports-base/commit/9ec8d2f22698b16905deef163d982451efc71748</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 9ec8d2f22698b16905deef163d982451efc71748
</span>Author: Joshua Root <jmr@macports.org>
AuthorDate: Sun Nov 19 17:27:44 2023 +1100

<span style='display:block; white-space:pre;color:#404040;'>    Document --allow-failing and --no-replace options
</span>---
 doc/port-install.1.txt | 9 +++++++++
 1 file changed, 9 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/doc/port-install.1.txt b/doc/port-install.1.txt
</span><span style='display:block; white-space:pre;color:#808080;'>index a71dcc938..53331ed22 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/doc/port-install.1.txt
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/doc/port-install.1.txt
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -24,6 +24,15 @@ Global variants will be applied as specified in man:variants.conf[5].
</span> 
 OPTIONS
 -------
<span style='display:block; white-space:pre;background:#e0ffe0;'>+*--allow-failing*::
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Attempt installation even if the specified port or one of its
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+dependencies indicates that it is known to fail.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+*--no-replace*::
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+Attempt to install the specified port even if it indicates that it is
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+replaced by another port. Without this option, the replacement would be
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+installed instead.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> *--no-rev-upgrade*::
 Do not run rev-upgrade after installation. See man:port-rev-upgrade[1] for more
 information.
</pre><pre style='margin:0'>

</pre>