#4316: fix configure.in markup problem.
1 file changed