aboutsummaryrefslogtreecommitdiff
path: root/mail/mutt-devel/scripts
diff options
context:
space:
mode:
authorOliver Braun <obraun@FreeBSD.org>2002-09-02 19:26:05 +0000
committerOliver Braun <obraun@FreeBSD.org>2002-09-02 19:26:05 +0000
commit26b1d4189756f966fbec501149eed383d0a6f8cc (patch)
tree7ff39ed8d3865b51213bc88bf4096f8d98e5e237 /mail/mutt-devel/scripts
parentd0f277d2fd5530efd6c8e76cfffc96c457eaa996 (diff)
Notes
Diffstat (limited to 'mail/mutt-devel/scripts')
-rw-r--r--mail/mutt-devel/scripts/generate-plist3
1 files changed, 3 insertions, 0 deletions
diff --git a/mail/mutt-devel/scripts/generate-plist b/mail/mutt-devel/scripts/generate-plist
index 521ba4dabfc9..d7a43de036a2 100644
--- a/mail/mutt-devel/scripts/generate-plist
+++ b/mail/mutt-devel/scripts/generate-plist
@@ -140,6 +140,9 @@ if [ "$MUTT_HTML" = "yes" ]; then
if [ "$MUTT_IFDEF_PATCH" = "yes" ]; then
html=$(($html + 1))
fi
+ if [ "$MUTT_PGP_PATCH" = "yes" ]; then
+ html=$(($html + 2))
+ fi
echo "share/doc/mutt/html/manual.html" >> $tmp_first
echo "share/doc/mutt/html/manual_toc.html" >> $tmp_first
i=1