diff options
| author | Andreas Cadhalpun <Andreas.Cadhalpun@googlemail.com> | 2015-06-13 20:24:27 +0200 |
|---|---|---|
| committer | Andreas Cadhalpun <Andreas.Cadhalpun@googlemail.com> | 2015-06-16 21:47:17 +0200 |
| commit | 72654526e4489c0aac05d25cfeca5bbba26026b3 (patch) | |
| tree | c9b313f7d14cb179ad34b529985f6d6d8a740339 /doc | |
| parent | 92e79a2f7bf2f8bb0cb2d1a3e4d76737557071c4 (diff) | |
| download | ffmpeg-72654526e4489c0aac05d25cfeca5bbba26026b3.tar.gz | |
configure: make makeinfo_html check more robust
The current check is too strict for newer makeinfo versions.
Existing version strings are:
makeinfo (GNU texinfo) 4.13
makeinfo (GNU texinfo) 5.2
texi2any (GNU texinfo) 5.9.93
Probably version 6 will come in the not too far future.
Reviewed-by: Timothy Gu <timothygu99@gmail.com>
Signed-off-by: Andreas Cadhalpun <Andreas.Cadhalpun@googlemail.com>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions