\section{A documentation page}
\label{page1}
\Hypertarget{page1}
\input{page1}
\section{Another page}
\label{page2}
\Hypertarget{page2}
\input{page2}
