www/wget2: fix manpage generation
PR: 26126 Reported by: yonas.yanfa@gmail.com
This commit is contained in:
parent
4f0caa055d
commit
79b02f62ea
@ -1,6 +1,6 @@
|
||||
PORTNAME= wget2
|
||||
DISTVERSION= 2.0.0
|
||||
PORTREVISION= 2
|
||||
PORTREVISION= 3
|
||||
CATEGORIES= www
|
||||
MASTER_SITES= GNU/wget
|
||||
|
||||
@ -30,7 +30,8 @@ OPTIONS_SUB= yes
|
||||
IDN_LIB_DEPENDS= libidn2.so:dns/libidn2
|
||||
IDN_CONFIGURE_WITH= libidn2
|
||||
|
||||
MANPAGES_BUILD_DEPENDS= pandoc:textproc/hs-pandoc
|
||||
MANPAGES_BUILD_DEPENDS= pandoc:textproc/hs-pandoc \
|
||||
gsed:textproc/gsed
|
||||
|
||||
DOXYGEN_BUILD_DEPENDS= doxygen:devel/doxygen
|
||||
|
||||
|
9
www/wget2/files/patch-docs_wget2__md2man.sh.in
Normal file
9
www/wget2/files/patch-docs_wget2__md2man.sh.in
Normal file
@ -0,0 +1,9 @@
|
||||
--- docs/wget2_md2man.sh.in.orig 2021-08-21 17:47:39 UTC
|
||||
+++ docs/wget2_md2man.sh.in
|
||||
@@ -11,5 +11,5 @@ set -e
|
||||
echo ""
|
||||
cat "$1"
|
||||
) | \
|
||||
-sed '/# Wget2/,/^#/{/^# </!d}' | \
|
||||
+gsed '/# Wget2/,/^#/{/^# </!d}' | \
|
||||
$PANDOC -s -f markdown -t man -o "$2"
|
Loading…
Reference in New Issue
Block a user