diff options
author | Oliver Braun <obraun@FreeBSD.org> | 2002-09-02 19:26:05 +0000 |
---|---|---|
committer | Oliver Braun <obraun@FreeBSD.org> | 2002-09-02 19:26:05 +0000 |
commit | 26b1d4189756f966fbec501149eed383d0a6f8cc (patch) | |
tree | 7ff39ed8d3865b51213bc88bf4096f8d98e5e237 /mail/mutt-devel/scripts | |
parent | d0f277d2fd5530efd6c8e76cfffc96c457eaa996 (diff) |
Notes
Diffstat (limited to 'mail/mutt-devel/scripts')
-rw-r--r-- | mail/mutt-devel/scripts/generate-plist | 3 |
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 |