1 2 3 4 5 6 7 8
\section{A documentation page} \label{page1} \hypertarget{page1}{} \input{page1} \section{Another page} \label{page2} \hypertarget{page2}{} \input{page2}