Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

Commit 8aa7283f authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Allow again compilation of doc in PDF without hevea installed

parent 36c28017
......@@ -306,14 +306,13 @@ else
enable_html_doc=no
fi
# checking for hevea (note that the pdf documentation uses hevea.sty)
if test "$enable_doc" = yes ; then
# checking for hevea (note that the pdf documentation DOES NOT use hevea.sty)
if test "$enable_html_doc" = yes ; then
AC_CHECK_PROG(HEVEA,hevea,hevea,no)
if test "$HEVEA" = no ; then
enable_doc=no
enable_html_doc=no
reason_doc=" (hevea not found)"
AC_MSG_WARN([Cannot find hevea, documentation disabled.])
reason_html_doc=" (hevea not found)"
AC_MSG_WARN([Cannot find hevea, HTML documentation disabled.])
fi
fi
......
......@@ -21,7 +21,7 @@
\usepackage{listings}
\usepackage{xspace}
\input{./myhevea.sty}
\input{./myhevea.tex}
%BEGIN LATEX
\setulmarginsandblock{30mm}{30mm}{*}
......
\RequirePackage{comment}
\newcommand{\ahref}[2]{{#2}}
\excludecomment{htmlonly}
\newenvironment{latexonly}{}{}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment