summaryrefslogtreecommitdiff
path: root/doc/platform.texi
diff options
context:
space:
mode:
authorTimothy Gu <timothygu99@gmail.com>2014-08-31 19:39:35 -0700
committerMichael Niedermayer <michaelni@gmx.at>2014-09-04 02:34:20 +0200
commit17ad5fbb8af3ea3fad689064bc84ecfdfe52f0c2 (patch)
treee8e16ee908b4e0ba2c9d4cdfb6f053e0c6d9cd2c /doc/platform.texi
parent75a9859ac67b60105769fda7160db081216b70f2 (diff)
Use makeinfo to generate html doc for the new website
texi2html is deprecated by upstream in favor of makeinfo/texi2any. See: - https://www.gnu.org/software/texinfo/manual/texinfo/html_node/texi2html.html - https://wiki.debian.org/Texi2htmlTransition - https://lists.debian.org/debian-devel/2013/05/msg01516.html This is actually two separate changes. Based on a patch by Andreas Cadhalpun <Andreas.Cadhalpun@googlemail.com>. Fixes Trac ticket #3232. Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Diffstat (limited to 'doc/platform.texi')
-rw-r--r--doc/platform.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/platform.texi b/doc/platform.texi
index fb08a1e422..ca76492753 100644
--- a/doc/platform.texi
+++ b/doc/platform.texi
@@ -278,7 +278,7 @@ llrint() in its C library.
Install your Cygwin with all the "Base" packages, plus the
following "Devel" ones:
@example
-binutils, gcc4-core, make, git, mingw-runtime, texi2html
+binutils, gcc4-core, make, git, mingw-runtime, texinfo
@end example
In order to run FATE you will also need the following "Utils" packages: