authorSergey Poznyakoff <>2013-08-06 06:04:33 (GMT)
committer Sergey Poznyakoff <>2013-08-06 06:04:33 (GMT)
commit71f215659046de3dfe63c4a84ae92d92d5213044 (patch) (side-by-side diff)
parentbc4a499bb8a3823cc112f7765d814e03c03395ae (diff)
Add grohtml.opt to the list of dependencies
Diffstat (more/less context) (ignore whitespace changes)
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");
push @deps, $htmltop, $htmlbot;
# Process grohtml options
-addopts("$mandir/grohtml.opt") if (-R "$mandir/grohtml.opt");
+if (-R "$mandir/grohtml.opt") {
+ addopts("$mandir/grohtml.opt");
+ push @deps, "$mandir/grohtml.opt";
unless (-e $cachefile && checkdeps($cachefile)) {
my $tempcachefile = "$cachefile.$$";
@@ -375,7 +378,8 @@ The cached page, however, is invalidated and its regeneration
is triggered if any of the files it depends upon is newer than
the cached copy. The list of dependencies includes (apart from
the B<mansrv> program itself and its configuration file), both
-HTML top and bottom files and the include file (if any).
+HTML top and bottom files, the B<grohtml.opt> and the include
+file (if any).

Return to:

Send suggestions and report system problems to the System administrator.