equal
deleted
inserted
replaced
|
1 --- gcc-3.4.3/Makefile.in.ori 2013-10-02 15:26:58.900044697 -0700 |
|
2 +++ gcc-3.4.3/Makefile.in 2013-10-02 15:28:18.200115934 -0700 |
|
3 @@ -186,7 +186,7 @@ |
|
4 USUAL_MAKEINFO = `if [ -f $$r/texinfo/makeinfo/makeinfo ] ; \ |
|
5 then echo $$r/texinfo/makeinfo/makeinfo ; \ |
|
6 else if (makeinfo --version \ |
|
7 - | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[2-9]|[5-9])') >/dev/null 2>&1; \ |
|
8 + | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.13|4\.[2-9]|[5-9])') >/dev/null 2>&1; \ |
|
9 then echo makeinfo; else echo $$s/missing makeinfo; fi; fi` |
|
10 |
|
11 # This just becomes part of the MAKEINFO definition passed down to |