aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergey Poznyakoff <gray@gnu.org.ua>2013-08-06 09:04:33 +0300
committerSergey Poznyakoff <gray@gnu.org.ua>2013-08-06 09:04:33 +0300
commit71f215659046de3dfe63c4a84ae92d92d5213044 (patch)
tree6e242bc3dde7c53a68b404c35558dee0bf785e7e
parentbc4a499bb8a3823cc112f7765d814e03c03395ae (diff)
downloadmansrv-71f215659046de3dfe63c4a84ae92d92d5213044.tar.gz
mansrv-71f215659046de3dfe63c4a84ae92d92d5213044.tar.bz2
Add grohtml.opt to the list of dependencies
-rwxr-xr-xmansrv8
1 files changed, 6 insertions, 2 deletions
diff --git a/mansrv b/mansrv
index 7758b0f..e42c689 100755
--- a/mansrv
+++ b/mansrv
@@ -224,7 +224,10 @@ $htmlbot = "$mandir/bottom.html" if (-R "$mandir/bottom.html");
224push @deps, $htmltop, $htmlbot; 224push @deps, $htmltop, $htmlbot;
225 225
226# Process grohtml options 226# Process grohtml options
227addopts("$mandir/grohtml.opt") if (-R "$mandir/grohtml.opt"); 227if (-R "$mandir/grohtml.opt") {
228 addopts("$mandir/grohtml.opt");
229 push @deps, "$mandir/grohtml.opt";
230}
228 231
229unless (-e $cachefile && checkdeps($cachefile)) { 232unless (-e $cachefile && checkdeps($cachefile)) {
230 my $tempcachefile = "$cachefile.$$"; 233 my $tempcachefile = "$cachefile.$$";
@@ -375,7 +378,8 @@ The cached page, however, is invalidated and its regeneration
375is triggered if any of the files it depends upon is newer than 378is triggered if any of the files it depends upon is newer than
376the cached copy. The list of dependencies includes (apart from 379the cached copy. The list of dependencies includes (apart from
377the B<mansrv> program itself and its configuration file), both 380the B<mansrv> program itself and its configuration file), both
378HTML top and bottom files and the include file (if any). 381HTML top and bottom files, the B<grohtml.opt> and the include
382file (if any).
379 383
380=head1 CONFIGURATION 384=head1 CONFIGURATION
381 385

Return to:

Send suggestions and report system problems to the System administrator.