1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#!/bin/sh
set -e
[ -d /var/cache/man2html -a -x /usr/bin/index++ ] || exit 0
if [ -e /usr/local/man ]; then
LOCALMAN=$(find /usr/local/man -type d -name "man?")
fi
if [ -e /usr/local/share/man ]; then
LOCALSMAN=$(find /usr/local/share/man -type d -name "man?")
fi
# See ionice(1)
[ -x /usr/bin/ionice ] && IONICE="/usr/bin/ionice -c3" || IONICE=
$IONICE index++ --config-file=/usr/share/man2html/swish++.conf \
--index-file=/var/cache/man2html/man2html.swish++.index.tmp \
/usr/share/man/man* \
/usr/man/man* \
/usr/X11R6/man/man* $LOCALMAN $LOCALSMAN
mv -f /var/cache/man2html/man2html.swish++.index.tmp \
/var/cache/man2html/man2html.swish++.index
exit 0
|
