diff options
author | Sergey Poznyakoff <gray@gnu.org.ua> | 2013-08-06 09:04:33 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2013-08-06 09:04:33 +0300 |
commit | 71f215659046de3dfe63c4a84ae92d92d5213044 (patch) | |
tree | 6e242bc3dde7c53a68b404c35558dee0bf785e7e | |
parent | bc4a499bb8a3823cc112f7765d814e03c03395ae (diff) | |
download | mansrv-71f215659046de3dfe63c4a84ae92d92d5213044.tar.gz mansrv-71f215659046de3dfe63c4a84ae92d92d5213044.tar.bz2 |
Add grohtml.opt to the list of dependencies
-rwxr-xr-x | mansrv | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -224,7 +224,10 @@ $htmlbot = "$mandir/bottom.html" if (-R "$mandir/bottom.html"); | |||
224 | push @deps, $htmltop, $htmlbot; | 224 | push @deps, $htmltop, $htmlbot; |
225 | 225 | ||
226 | # Process grohtml options | 226 | # Process grohtml options |
227 | addopts("$mandir/grohtml.opt") if (-R "$mandir/grohtml.opt"); | 227 | if (-R "$mandir/grohtml.opt") { |
228 | addopts("$mandir/grohtml.opt"); | ||
229 | push @deps, "$mandir/grohtml.opt"; | ||
230 | } | ||
228 | 231 | ||
229 | unless (-e $cachefile && checkdeps($cachefile)) { | 232 | unless (-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 | |||
375 | is triggered if any of the files it depends upon is newer than | 378 | is triggered if any of the files it depends upon is newer than |
376 | the cached copy. The list of dependencies includes (apart from | 379 | the cached copy. The list of dependencies includes (apart from |
377 | the B<mansrv> program itself and its configuration file), both | 380 | the B<mansrv> program itself and its configuration file), both |
378 | HTML top and bottom files and the include file (if any). | 381 | HTML top and bottom files, the B<grohtml.opt> and the include |
382 | file (if any). | ||
379 | 383 | ||
380 | =head1 CONFIGURATION | 384 | =head1 CONFIGURATION |
381 | 385 | ||