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