Add grohtml.opt to the list of dependencies

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).    
     
 =head1 CONFIGURATION