Fix regeneration of multi-file dependencies

[hcoop/domtool2.git] / src / domain.sig

diff --git a/src/domain.sig b/src/domain.sig
index bdf92de..a8de0de 100644 (file)
--- a/src/domain.sig
+++ b/src/domain.sig
@@ -92,6 +92,7 @@ signature DOMAIN = sig
     val hasPriv : string -> bool
 
     val rmdom : string list -> unit
+    val rmdom' : string -> string list -> unit
 
     val homedirOf : string -> string
     val homedir : unit -> string
@@ -105,7 +106,7 @@ signature DOMAIN = sig
     (* Argument is domain to describe, over all nodes. *)
 
     datatype description =
-            Filename of { filename : string, heading : string }
+            Filename of { filename : string, heading : string, showEmpty : bool }
           | Extension of { extension : string, heading : string -> string }
 
     val considerAll : description list -> subject -> string