diff options
author | 2020-09-26 21:06:40 +0200 | |
---|---|---|
committer | 2020-09-26 21:06:40 +0200 | |
commit | 7cb71c2f1ff1da24215f40d57732d59ae7b618a4 (patch) | |
tree | 6d5ca63f4ab7e6631f1fe5f2accc3b9566275669 /bin | |
parent | profiles: Add missing include of profiles/make.defaults. (diff) | |
download | devmanual-7cb71c2f1ff1da24215f40d57732d59ae7b618a4.tar.gz devmanual-7cb71c2f1ff1da24215f40d57732d59ae7b618a4.tar.bz2 devmanual-7cb71c2f1ff1da24215f40d57732d59ae7b618a4.zip |
bin/gen-eclass-html.sh: Generate html for make.conf(5).
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/gen-eclass-html.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/bin/gen-eclass-html.sh b/bin/gen-eclass-html.sh index 23f481b..f7fcc73 100755 --- a/bin/gen-eclass-html.sh +++ b/bin/gen-eclass-html.sh @@ -124,8 +124,9 @@ shift $((OPTIND-1)) MANPAGES=() [[ -n ${NOMAN} ]] || MANPAGES=( $(/usr/bin/qlist -e eclass-manpages) - # We also need the ebuild man page + # We also need a couple of portage man pages /usr/share/man/man5/ebuild.5* + /usr/share/man/man5/make.conf.5* ) || exit 1 [[ -d ${OUTPUTDIR} ]] || mkdir -p "${OUTPUTDIR}" || exit 1 @@ -142,10 +143,10 @@ for i in "${MANPAGES[@]}"; do touch "${DIRNAME}" || exit 1 # rebuild the man page each time echo -n "${HEADER//@TITLE@/${BASENAME}}" > "${FINAL}" || exit 1 - # generate html pages and fix hyperlinks for eclass and ebuild man pages + # generate html pages and fix hyperlinks for eclass and other man pages ${DECOMPRESS} "${i}" | /usr/bin/man2html -r \ | sed -e '1,/<BODY>/d;/<\/BODY>/,$d' \ - -e '/<A HREF=/s:"\.\./man5/\([^"]*eclass\|ebuild\)\.5\.html":"../\1/index.html":g' \ + -e '/<A HREF=/s:"\.\./man5/\([^"]*eclass\|ebuild\|make\.conf\)\.5\.html":"../\1/index.html":g' \ -e 's:<A HREF="\.\./man[^"]*">\([^<>]*\)</A>:\1:g' \ -e 's:<A HREF="[^"]*//localhost/[^"]*">\([^<>]*\)</A>:\1:g' \ -e 's:<A HREF="[^"]*\${[^"]*">\([^<>]*\)</A>:\1:g' \ |