%\VignetteIndexEntry{User manual}
\documentclass{article}
\begin{document}
\end{document}