Revision 01668d98 configure
| b/configure | ||
|---|---|---|
| 1750 | 1750 |
|
| 1751 | 1751 |
# Check if tools are available to build documentation. |
| 1752 | 1752 |
if test "$docs" != "no" ; then |
| 1753 |
if has texi2html && has pod2man; then
|
|
| 1753 |
if has makeinfo && has pod2man; then
|
|
| 1754 | 1754 |
docs=yes |
| 1755 | 1755 |
else |
| 1756 | 1756 |
if test "$docs" = "yes" ; then |
Also available in: Unified diff