blob: c35825d2814d40bed0b982060e5db5fe63121972 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# This generates the GNOME docs:
#BLURB="Update GNOME documentation database"
if [ -x usr/bin/scrollkeeper-update ]; then
if [ "$COLOR" = "on" -o -r $TMP/SeTcolor ]; then
dialog --title "UPDATING GNOME DOCUMENTATION" --infobox \
"Please wait while we run scrollkeeper-update to bring the scrollkeeper \
database up-to-date. This database is used by the GNOME help browser to \
locate documentation." 6 53
else
echo "Generating GNOME documentation. One moment please."
fi
chroot . /usr/bin/scrollkeeper-update 2> /dev/null
fi
|
