Minor optimization
This commit is contained in:
parent
0acf9429f3
commit
c7a94501a7
|
@ -931,12 +931,11 @@ EOF
|
||||||
[ "${i%.css.xml}" = "$i" ] || continue
|
[ "${i%.css.xml}" = "$i" ] || continue
|
||||||
section=$($XMLLINT --xpath "$xpath" "$i")
|
section=$($XMLLINT --xpath "$xpath" "$i")
|
||||||
[ -n "$section" ] || section="1"
|
[ -n "$section" ] || section="1"
|
||||||
sections="$sections $section"
|
echo "$section"
|
||||||
done
|
done | $SORT | $UNIQ | while read section; do
|
||||||
for section in $sections; do
|
|
||||||
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man/html$section"
|
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man/html$section"
|
||||||
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man/man$section"
|
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man/man$section"
|
||||||
done | $SORT | $UNIQ
|
done | $SORT
|
||||||
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man"
|
echo " \${RMDIR} \${DESTDIR}\${PREFIX}/share/man"
|
||||||
echo ".endif"
|
echo ".endif"
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in New Issue
Block a user