diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2012-07-13 18:18:52 +0400 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2012-07-13 18:18:52 +0400 |
commit | f2a77f5d9d395084adce2c8e3d2e40dacf447df5 (patch) | |
tree | 8b6854a3144a1029b096358b0f78438fd37e294d /pkgs/data/fonts/tipa/default.nix | |
parent | a126bf9ae444557cb71a1e8653b91b6d5774f35b (diff) | |
download | nixpkgs-f2a77f5d9d395084adce2c8e3d2e40dacf447df5.tar nixpkgs-f2a77f5d9d395084adce2c8e3d2e40dacf447df5.tar.gz nixpkgs-f2a77f5d9d395084adce2c8e3d2e40dacf447df5.tar.bz2 nixpkgs-f2a77f5d9d395084adce2c8e3d2e40dacf447df5.tar.lz nixpkgs-f2a77f5d9d395084adce2c8e3d2e40dacf447df5.tar.xz nixpkgs-f2a77f5d9d395084adce2c8e3d2e40dacf447df5.tar.zst nixpkgs-f2a77f5d9d395084adce2c8e3d2e40dacf447df5.zip |
TeXLive: update to 2012 snapshot from Debian
Diffstat (limited to 'pkgs/data/fonts/tipa/default.nix')
-rw-r--r-- | pkgs/data/fonts/tipa/default.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/data/fonts/tipa/default.nix b/pkgs/data/fonts/tipa/default.nix new file mode 100644 index 00000000000..47e98f7c53a --- /dev/null +++ b/pkgs/data/fonts/tipa/default.nix @@ -0,0 +1,24 @@ +{ stdenv, fetchurl }: + +stdenv.mkDerivation { + name = "tipa-1.3"; + + src = fetchurl { + url = "mirror://debian/pool/main/t/tipa/tipa_1.3.orig.tar.gz"; + sha256 = "1q1sisxdcd2zd9b7mnagr2mxf9v3n1r4s5892zx5ly4r0niyya9m"; + }; + + installPhase = '' + export PREFIX="$out/texmf" + mkdir -p "$PREFIX" "$out/share" + make install PREFIX="$PREFIX" + + ln -s $out/texmf* $out/share/ + ''; + + meta = { + description = "Phonetic font for TeX"; + }; +} + + |