diff options
Diffstat (limited to 'scrollkeeper/build/setup.06.scrollkeeper')
-rw-r--r-- | scrollkeeper/build/setup.06.scrollkeeper | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scrollkeeper/build/setup.06.scrollkeeper b/scrollkeeper/build/setup.06.scrollkeeper new file mode 100644 index 00000000..c35825d2 --- /dev/null +++ b/scrollkeeper/build/setup.06.scrollkeeper @@ -0,0 +1,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 + |