\input{book.hva} % To work \input{urlhref.hva} % For external URL references \newcommand{\patchcommand}[3]{} \newcommand{\setpapersize}[1]{} \newcommand{\setmarginsrb}[8]{} \newcommand{\baselinestretch}{1} \newcommand{\draft}[0]{notused} \newcommand{\isundefined}[1]{\equal{#1}{notused}} \newcommand{\hypersetup}{} \let\oldmeta=\@meta \renewcommand{\@meta}{% \oldmeta \begin{rawhtml} \end{rawhtml}} \htmlhead{ \begin{rawhtml}
\end{rawhtml} } htmlfoot{ \begin{rawhtml}
\end{rawhtml} } % To put legende after figure, use caption command after includegraphics command \ifhtml \renewenvironment{figure}[1][]{ \@forcecommand{\caption}[1]{ \par\refstepcounter{figure} \@print{
}Figure \thefigure\iffrench~\fi: ##1\@print{
} \par }{} }{} \fi \ifhtml \renewenvironment{table}[1][]{ \newcommand{\caption}[1]{ \par\refstepcounter{table} \@print{
}Table \thetable\iffrench~\fi: ##1\@print{
} \par }{} }{} \fi \ifhtml \renewcommand{\maketitle}{% \newcommand{\checkbox}[2]{ \ifthenelse{ \equal{\usebox{##2}}{} } {} { \@open{DIV}{ID="##1"} \usebox{##2} \@close{DIV} } } \checkbox{titre}{\@title} \checkbox{auteurs}{\@author} \checkbox{date}{\@date} } \fi