diff options
| author | jamal <jamrial@gmail.com> | 2012-07-12 04:07:59 -0300 |
|---|---|---|
| committer | Stefano Sabatini <stefasab@gmail.com> | 2012-07-14 11:47:15 +0200 |
| commit | 2090e40410693ce30ed2080f2cea2f4ccfb9ac94 (patch) | |
| tree | a121dfb4337a891f1d7a9fe88f0c2fa7482fb1b0 /configure | |
| parent | d48f014ff1db985fa3f74eddfb30bf513f99ff7a (diff) | |
configure: Check that texi2html supports --init-file
Fixes ticket #1515
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3385,7 +3385,7 @@ else fi enabled sdl && add_cflags $sdl_cflags && add_extralibs $sdl_libs -texi2html -version > /dev/null 2>&1 && enable texi2html || disable texi2html +texi2html --help 2> /dev/null | grep -q 'init-file' && enable texi2html || disable texi2html makeinfo --version > /dev/null 2>&1 && enable makeinfo || disable makeinfo pod2man --help > /dev/null 2>&1 && enable pod2man || disable pod2man |