Let the 'Overview'-section appear in the table of contents.

2002-03-29 16:43:11 +00:00
parent fd095636c5
commit 4c90514e9c
1 changed files with 1 additions and 1 deletions
@@ -7,7 +7,7 @@
 \end{description}


-\subsection*{Overview}
+\subsection{Overview}

 This module provides several procedures to manipulate strings.