diff options
Diffstat (limited to 'pkgs/development/tools/misc/texinfo/5.2.nix')
-rw-r--r-- | pkgs/development/tools/misc/texinfo/5.2.nix | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/pkgs/development/tools/misc/texinfo/5.2.nix b/pkgs/development/tools/misc/texinfo/5.2.nix new file mode 100644 index 00000000000..804e7a2527f --- /dev/null +++ b/pkgs/development/tools/misc/texinfo/5.2.nix @@ -0,0 +1,43 @@ +{ stdenv, fetchurl, ncurses, perl, xz, interactive ? false }: + +stdenv.mkDerivation rec { + name = "texinfo-5.2"; + + src = fetchurl { + url = "mirror://gnu/texinfo/${name}.tar.xz"; + sha256 = "1njfwh2z34r2c4r0iqa7v24wmjzvsfyz4vplzry8ln3479lfywal"; + }; + + buildInputs = [ perl xz ] + ++ stdenv.lib.optional interactive ncurses; + + preInstall = '' + installFlags="TEXMF=$out/texmf-dist"; + installTargets="install install-tex"; + ''; + + doCheck = !stdenv.isDarwin; + + meta = { + homepage = "http://www.gnu.org/software/texinfo/"; + description = "GNU Texinfo, the GNU documentation system"; + license = stdenv.lib.licenses.gpl3Plus; + platforms = stdenv.lib.platforms.all; + + longDescription = '' + Texinfo is the official documentation format of the GNU project. + It was invented by Richard Stallman and Bob Chassell many years + ago, loosely based on Brian Reid's Scribe and other formatting + languages of the time. It is used by many non-GNU projects as + well. + + Texinfo uses a single source file to produce output in a number + of formats, both online and printed (dvi, html, info, pdf, xml, + etc.). This means that instead of writing different documents + for online information and another for a printed manual, you + need write only one document. And when the work is revised, you + need revise only that one document. The Texinfo system is + well-integrated with GNU Emacs. + ''; + }; +} |