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