170 |
AC_MSG_WARN([Cannot find dvips! That's not a big problem: 'make doc' will just generate documentation for which dvips is not needed. Please install dvips for 'make doc' to generate a ps output in $(DOCPATH).]) |
AC_MSG_WARN([Cannot find dvips! That's not a big problem: 'make doc' will just generate documentation for which dvips is not needed. Please install dvips for 'make doc' to generate a ps output in $(DOCPATH).]) |
171 |
fi |
fi |
172 |
|
|
173 |
|
# Look for texi2html |
174 |
|
AC_CHECK_PROG(TEXI2HTML_HERE,texi2html,texi2html,no) |
175 |
|
if test "$TEXI2HTML_HERE" = no ; then |
176 |
|
AC_MSG_WARN([Cannot find texi2html! That's not a big problem: 'make doc' will just generate documentation for which texi2html is not needed. Please install dtexi2html for 'make doc' to generate its output in $(DOCPATH).]) |
177 |
|
fi |
178 |
|
|
179 |
# platform |
# platform |
180 |
AC_MSG_CHECKING(platform) |
AC_MSG_CHECKING(platform) |
181 |
if echo "let _ = Sys.os_type" | ocaml | grep -q Win32; then |
if echo "let _ = Sys.os_type" | ocaml | grep -q Win32; then |
198 |
AC_SUBST(LATEX_NERE) |
AC_SUBST(LATEX_NERE) |
199 |
AC_SUBST(DVIPDF_HERE) |
AC_SUBST(DVIPDF_HERE) |
200 |
AC_SUBST(DVIPS_HERE) |
AC_SUBST(DVIPS_HERE) |
201 |
|
AC_SUBST(TEXI2HTML_HERE) |
202 |
AC_SUBST(OCAMLVERSION) |
AC_SUBST(OCAMLVERSION) |
203 |
AC_SUBST(OCAMLLIB) |
AC_SUBST(OCAMLLIB) |
204 |
AC_SUBST(OCAMLWEB) |
AC_SUBST(OCAMLWEB) |