From aaab24f442e496dcfbe20f91610e4fdc52b7c90d Mon Sep 17 00:00:00 2001 From: Matias Fonzo Date: Mon, 30 Oct 2017 09:44:00 -0300 Subject: [PATCH] minor change on etc/rc.d/rc.documents --- archive/etc/rc.d/rc.documents | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/archive/etc/rc.d/rc.documents b/archive/etc/rc.d/rc.documents index c0f2eab5..2e627ee7 100644 --- a/archive/etc/rc.d/rc.documents +++ b/archive/etc/rc.d/rc.documents @@ -2,7 +2,7 @@ # # /etc/rc.d/rc.documents - Update system documentation. # -# This script is invoked as background from rc.startup. +# This script is invoked from /etc/rc.d/rc.startup. # # Update manual pages and Info documents @@ -12,7 +12,7 @@ test -d /var/cache/man || mkdir -p /var/cache/man mandb --no-purge --quiet --create & echo "(Startup) Updating index for Info documents:" -for INFODIR in /usr/local/share/info/ /usr/share/info/ +for INFODIR in /usr/local/share/info /usr/share/info do echo " $INFODIR" find $INFODIR -maxdepth 1 \( -type f -a ! -name dir \) \ -- 2.11.4.GIT