2013-03-02 04:40:20 +00:00
|
|
|
# This file was generated and will be overwritten by ./generate.sh
|
|
|
|
|
|
|
|
{ stdenv, fetchurl }:
|
|
|
|
|
2013-03-02 15:00:50 +00:00
|
|
|
stdenv.mkDerivation rec {
|
2013-03-02 04:40:20 +00:00
|
|
|
name = "python31-docs-pdf-letter-3.1.5";
|
|
|
|
src = fetchurl {
|
|
|
|
url = http://docs.python.org/ftp/python/doc/3.1.5/python-3.1.5-docs-pdf-letter.tar.bz2;
|
|
|
|
sha256 = "0s202vrjfa8dnp3vpfjb21bmqym9wyj8jn2glgwjzk63z6fwb60i";
|
|
|
|
};
|
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out/share/docs
|
2013-03-02 15:00:50 +00:00
|
|
|
cp -R ./ $out/share/docs/${name}
|
2013-03-02 04:40:20 +00:00
|
|
|
'';
|
|
|
|
}
|