Tweaks for nix-shell

dev-shell

@@ -0,0 +1,7 @@
+#! /bin/sh
+s=$(type -p nix-shell)
+exec $s release.nix -A build.x86_64-linux --exclude tarball --command "
+    export NIX_REMOTE=daemon
+    export NIX_PATH='$NIX_PATH'
+    export NIX_BUILD_SHELL=$(type -p bash)
+    exec $s release.nix -A tarball" "$@"

doc/manual/manual.xml

@@ -52,8 +52,7 @@
 
 
     <copyright>
-      <year>2009</year>
-      <year>2010</year>
+      <year>2009-2013</year>
       <holder>Eelco Dolstra</holder>
     </copyright>
 
@@ -64,6 +63,7 @@
   <xi:include href="introduction.xml" />
   <xi:include href="installation.xml" />
   <xi:include href="projects.xml" />
+  <xi:include href="hacking.xml" />
 
 
 </book>

release.nix

@@ -24,7 +24,7 @@ in rec {
 
       versionSuffix = if officialRelease then "" else "pre${toString hydraSrc.revCount}-${hydraSrc.gitTag}";
 
-      preConfigure = ''
+      preHook = ''
         # TeX needs a writable font cache.
         export VARTEXFONTS=$TMPDIR/texfonts
       '';
@@ -118,7 +118,7 @@ in rec {
           gzip bzip2 lzma gnutar unzip git gitAndTools.topGit mercurial gnused graphviz bazaar
         ] ++ lib.optionals stdenv.isLinux [ rpm dpkg cdrkit ] );
 
-      preConfigure = "patchShebangs .";
+      preCheck = "patchShebangs .";
 
       postInstall = ''
         mkdir -p $out/nix-support