···11+{ stdenv, fetchurl, ncurses, perl, xz, interactive ? false }:
22+33+stdenv.mkDerivation rec {
44+ name = "texinfo-6.0";
55+66+ src = fetchurl {
77+ url = "mirror://gnu/texinfo/${name}.tar.xz";
88+ sha256 = "1r3i6jyynn6ab45fxw5bms8mflk9ry4qpj6gqyry72vfd5c47fhi";
99+ };
1010+1111+ buildInputs = [ perl xz ]
1212+ ++ stdenv.lib.optional interactive ncurses;
1313+1414+ preInstall = ''
1515+ installFlags="TEXMF=$out/texmf-dist";
1616+ installTargets="install install-tex";
1717+ '';
1818+1919+ doCheck = !stdenv.isDarwin;
2020+2121+ meta = {
2222+ homepage = "http://www.gnu.org/software/texinfo/";
2323+ description = "The GNU documentation system";
2424+ license = stdenv.lib.licenses.gpl3Plus;
2525+ platforms = stdenv.lib.platforms.all;
2626+2727+ longDescription = ''
2828+ Texinfo is the official documentation format of the GNU project.
2929+ It was invented by Richard Stallman and Bob Chassell many years
3030+ ago, loosely based on Brian Reid's Scribe and other formatting
3131+ languages of the time. It is used by many non-GNU projects as
3232+ well.
3333+3434+ Texinfo uses a single source file to produce output in a number
3535+ of formats, both online and printed (dvi, html, info, pdf, xml,
3636+ etc.). This means that instead of writing different documents
3737+ for online information and another for a printed manual, you
3838+ need write only one document. And when the work is revised, you
3939+ need revise only that one document. The Texinfo system is
4040+ well-integrated with GNU Emacs.
4141+ '';
4242+ branch = "5.2";
4343+ };
4444+}