explicitly flag gcc 4.6 as needing texinfo 4.13

This commit is contained in:
Mathijs Kwik 2013-06-29 19:33:45 +02:00
parent 3a0dfdd87a
commit ca5b44a218

View File

@ -2311,6 +2311,7 @@ let
if crossSystem != null && crossSystem.config == "i586-pc-gnu"
then gnu.libpthreadCross
else null;
texinfo = texinfo413;
}));
# A non-stripped version of GCC.