diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/lib/libre.tex | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Doc/lib/libre.tex b/Doc/lib/libre.tex index 3531e82..4a5eda3 100644 --- a/Doc/lib/libre.tex +++ b/Doc/lib/libre.tex @@ -378,7 +378,9 @@ Octal escapes are included in a limited form: If the first digit is a escape. Otherwise, it is a group reference. -\subsection{Matching vs. Searching \label{matching-searching}} +% Note the lack of a period in the section title; it causes problems +% with readers of the GNU info version. See http://www.python.org/sf/581414. +\subsection{Matching vs Searching \label{matching-searching}} \sectionauthor{Fred L. Drake, Jr.}{fdrake@acm.org} Python offers two different primitive operations based on regular |