diff --git a/Control/Hmk.lhs-boot b/Control/Hmk.lhs-boot
new file mode 100644
--- /dev/null
+++ b/Control/Hmk.lhs-boot
@@ -0,0 +1,11 @@
+> module Control.Hmk where
+>
+> type Cmp m a = a -> a -> m Bool
+> data Result = TaskSuccess | TaskFailure
+> type Task m = m Result
+> data Rule m a = Rule { target :: a
+>                      , prereqs :: [a]
+>                      , recipe :: Maybe ([a] -> Task m)
+>                      , isStale :: Cmp m a }
+> type DepGraph m a = [Tree m a]
+> data Tree m a = Node a (DepGraph m a) (Rule m a)
diff --git a/Hmk.lhs-boot b/Hmk.lhs-boot
deleted file mode 100644
--- a/Hmk.lhs-boot
+++ /dev/null
@@ -1,11 +0,0 @@
-> module Control.Hmk where
->
-> type Cmp m a = a -> a -> m Bool
-> data Result = TaskSuccess | TaskFailure
-> type Task m = m Result
-> data Rule m a = Rule { target :: a
->                      , prereqs :: [a]
->                      , recipe :: Maybe ([a] -> Task m)
->                      , isStale :: Cmp m a }
-> type DepGraph m a = [Tree m a]
-> data Tree m a = Node a (DepGraph m a) (Rule m a)
diff --git a/hmk.cabal b/hmk.cabal
--- a/hmk.cabal
+++ b/hmk.cabal
@@ -1,5 +1,5 @@
 name:           hmk
-version:        0.9.4
+version:        0.9.5
 author:         Mathieu Boespflug
 maintainer:     Mathieu Boespflug <mboes@tweag.net>
 homepage:       http://www.github.com/mboes/hmk