generating is modifying (because of already-generated markers)

diff --git a/bin/booh b/bin/booh
index 3b02a9ebd2f9b2839b6525cdf0ef829bf64d8bcc..9ef9aff5953d0632b5d33c97c8f80c35ff2e8ba6 100755 (executable)
--- a/bin/booh
+++ b/bin/booh
@@ -3407,6 +3407,7 @@ Click to view it in your browser:") % $xmldoc.root.attributes['destination']),
                              $redo_tb.sensitive = $redo_mb.sensitive = false
                              save_current_file
                              $generated_outofline = true
+                             $modified = true
                          }})
     }
     $view_wa.signal_connect('activate') {