diff --git a/configure.ac b/configure.ac
index b83dfb4..b857466 100644
--- a/configure.ac
+++ b/configure.ac
@@ -122,15 +122,15 @@ AC_ARG_ENABLE(hsx,
 
 AC_SUBST(HASKELL_SRC)
 
-AC_CHECK_PROG(TEX,tex,tex)
-if test -z "$TEX" ; then
-    AC_MSG_WARN(tex is needed to build some of the documentation)
-fi
-AC_CHECK_PROG(TEX2PAGE,tex2page,tex2page)
-if test -z "$TEX2PAGE" ; then
-    AC_MSG_WARN(tex2page is needed to build some of the documentation
-		    http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html)
-fi
+#AC_CHECK_PROG(TEX,tex,tex)
+#if test -z "$TEX" ; then
+#    AC_MSG_WARN(tex is needed to build some of the documentation)
+#fi
+#AC_CHECK_PROG(TEX2PAGE,tex2page,tex2page)
+#if test -z "$TEX2PAGE" ; then
+#    AC_MSG_WARN(tex2page is needed to build some of the documentation
+#		    http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html)
+#fi
 
 AC_CHECK_FUNCS(arc4random)
 
diff --git a/plugins.cabal b/plugins.cabal
index 7733dcc..b9dabbd 100644
--- a/plugins.cabal
+++ b/plugins.cabal
@@ -1,28 +1,48 @@
-name:           plugins
-version:        1.0
-license:        LGPL
-License-file:   LICENSE
-author:         Don Stewart
-maintainer:     dons@cse.unsw.edu.au
-exposed-modules:
-        System.Eval,
-        System.Eval.Haskell,
-        System.Eval.Utils,
-        System.MkTemp,
-        System.Plugins,
-        System.Plugins.Consts,
-        System.Plugins.Env,
-        System.Plugins.Load,
-        System.Plugins.LoadTypes,
-        System.Plugins.Make,
-        System.Plugins.Package,
-        System.Plugins.PackageAPI,
-        System.Plugins.ParsePkgConfCabal,
-        System.Plugins.Parser,
-        System.Plugins.Process,
-        System.Plugins.Utils
-includes:             Linker.h
-extensions:           CPP, ForeignFunctionInterface
-Build-Depends:        base, Cabal, haskell-src, containers, array, directory, random, process, ghc
-ghc-options:          -Wall -O -fasm -funbox-strict-fields -fno-warn-missing-signatures
-hs-source-dirs: src
+name:               plugins
+version:            1.1
+homepage:           http://code.haskell.org/~dons/code/hs-plugins
+synopsis:           Dynamic linking for Haskell and C objects
+description:        Dynamic linking and runtime evaluation of Haskell,
+                    and C, including dependency chasing and package resolution.
+                    Described in the paper:
+                        /Plugging Haskell In/, <http://www.cse.unsw.edu.au/~dons/papers/PSSC04.html>
+                    .
+category:           System
+license:            BSD3
+License-file:       LICENSE
+author:             Don Stewart
+maintainer:         Don Stewart <dons@galois.com>
+cabal-version:      >= 1.2
+
+library
+    exposed-modules:
+            System.Eval,
+            System.Eval.Haskell,
+            System.Eval.Utils,
+            System.MkTemp,
+            System.Plugins,
+            System.Plugins.Consts,
+            System.Plugins.Env,
+            System.Plugins.Load,
+            System.Plugins.LoadTypes,
+            System.Plugins.Make,
+            System.Plugins.Package,
+            System.Plugins.PackageAPI,
+            System.Plugins.ParsePkgConfCabal,
+            System.Plugins.Parser,
+            System.Plugins.Process,
+            System.Plugins.Utils
+    includes:             Linker.h
+    extensions:           CPP, ForeignFunctionInterface
+    ghc-options:          -Wall -O -fasm -funbox-strict-fields -fno-warn-missing-signatures
+    hs-source-dirs:       src
+    build-depends:        base  >= 3.0,
+                          Cabal == 1.2.3.0,
+                          haskell-src,
+                          containers,
+                          array,
+                          directory,
+                          random,
+                          process,
+                          ghc >= 6.8
+