diff --git a/Doc/lib/libatexit.tex b/Doc/lib/libatexit.tex
index e74cc742c4a..d06024b4503 100644
--- a/Doc/lib/libatexit.tex
+++ b/Doc/lib/libatexit.tex
@@ -67,3 +67,7 @@ import atexit
 atexit.register(savecounter)
 \end{verbatim}
 
+\begin{seealso}
+  \seemodule{readline}{useful example of atexit to read and write readline
+  history files}
+\end{seealso}