12 |
AC_MSG_CHECKING(if user wants to build the documentation in ps format) |
AC_MSG_CHECKING(if user wants to build the documentation in ps format) |
13 |
AC_ARG_ENABLE(ps, |
AC_ARG_ENABLE(ps, |
14 |
[ --enable-ps, enable generation of the documentation in ps format], |
[ --enable-ps, enable generation of the documentation in ps format], |
15 |
if test "$enable_ps" == "yes"; then |
if test "$enable_ps" = "yes"; then |
16 |
AC_MSG_RESULT(yes) |
AC_MSG_RESULT(yes) |
17 |
TARGET_PS=ps |
TARGET_PS=ps |
18 |
INSTALL_PS=install-ps |
INSTALL_PS=install-ps |