DeforaOS/scripts
DeforaOS/scripts
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Detect the section for manual pages

Browse Source
This commit is contained in:
Pierre Pronchery 2016-08-15 01:40:54 +02:00
parent 045d415f9f
commit ccb68796b9
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/deforaos-package.sh
View File

@ -64,6 +64,7 @@ TAR="tar"
TOUCH="touch" TOUCH="touch"
TR="tr" TR="tr"
WC="wc" WC="wc"
XMLLINT="xmllint"
YEAR="$(date +%Y)" YEAR="$(date +%Y)"
#dependencies #dependencies
DEPEND_desktop=0 DEPEND_desktop=0
@ -809,6 +810,8 @@ EOF
_pkgsrc_makefile() _pkgsrc_makefile()
{ {
xpath="string(/refentry/refmeta/manvolnum)"
$CAT << EOF $CAT << EOF
# \$NetBSD\$ # \$NetBSD\$
@ -879,16 +882,20 @@ EOF
for i in doc/*.xml; do for i in doc/*.xml; do
[ -f "$i" ] || continue [ -f "$i" ] || continue
[ "${i%.css.xml}" = "$i" ] || continue [ "${i%.css.xml}" = "$i" ] || continue
section=$($XMLLINT --xpath "$xpath" "$i")
[ -n "$section" ] || section="1"
page="${i#doc/}" page="${i#doc/}"
page="${page%.xml}.html" page="${page%.xml}.html"
echo " \${MV} \${DESTDIR}\${PREFIX}/share/man/html1/$page \${DESTDIR}\${PREFIX}/\${PKGMANDIR}/html1/$page" echo " \${MV} \${DESTDIR}\${PREFIX}/share/man/html$section/$page \${DESTDIR}\${PREFIX}/\${PKGMANDIR}/html$section/$page"
done | $SORT done | $SORT
for i in doc/*.xml; do for i in doc/*.xml; do
[ -f "$i" ] || continue [ -f "$i" ] || continue
[ "${i%.css.xml}" = "$i" ] || continue [ "${i%.css.xml}" = "$i" ] || continue
section=$($XMLLINT --xpath "$xpath" "$i")
[ -n "$section" ] || section="1"
page="${i#doc/}" page="${i#doc/}"
page="${page%.xml}.1" page="${page%.xml}.1"
echo " \${MV} \${DESTDIR}\${PREFIX}/share/man/man1/$page \${DESTDIR}\${PREFIX}/\${PKGMANDIR}/man1/$page" echo " \${MV} \${DESTDIR}\${PREFIX}/share/man/man$section/$page \${DESTDIR}\${PREFIX}/\${PKGMANDIR}/man$section/$page"
done | $SORT done | $SORT
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man/html1" echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man/html1"
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man/man1" echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man/man1"