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

Also move HTML manual pages

Browse Source
This commit is contained in:
Pierre Pronchery 2016-08-14 21:28:48 +02:00
parent 93585f1529
commit 222d2ec35c
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/deforaos-package.sh
View File

@ -871,6 +871,13 @@ EOF
echo ""
echo ".if \${PKGMANDIR} != \"share/man\""
echo "post-install:"
for i in doc/*.xml; do
[ -f "$i" ] || continue
[ "${i%.css.xml}" = "$i" ] || continue
page="${i#doc/}"
page="${page%.xml}.html"
echo " \${MV} \${DESTDIR}\${PREFIX}/share/man/html1/$page \${DESTDIR}\${PREFIX}/\${PKGMANDIR}/html1/$page"
done | $SORT
for i in doc/*.xml; do
[ -f "$i" ] || continue
[ "${i%.css.xml}" = "$i" ] || continue
@ -878,6 +885,7 @@ EOF
page="${page%.xml}.1"
echo " \${MV} \${DESTDIR}\${PREFIX}/share/man/man1/$page \${DESTDIR}\${PREFIX}/\${PKGMANDIR}/man1/$page"
done | $SORT
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man/html1"
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man/man1"
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man"
echo ".endif"