add python docs

2013-03-02 05:42:26 +01:00
parent 089fd0a769
commit 0314b8b00f
28 changed files with 509 additions and 0 deletions
@@ -0,0 +1,15 @@
+# This file was generated and will be overwritten by ./generate.sh
+
+{ stdenv, fetchurl }:
+
+stdenv.mkDerivation {
+  name = "python33-docs-html-3.3.0";
+  src = fetchurl {
+    url = http://docs.python.org/ftp/python/doc/3.3.0/python-3.3.0-docs-html.tar.bz2;
+    sha256 = "0vv24b9qi7gznv687ik0pa2w1rq9grqivy44znvj2ysjfg7mc2c1";
+  };
+  installPhase = ''
+    mkdir -p $out/share/docs
+    cp -R ./ $out/share/docs/
+  '';
+}