diff options
Diffstat (limited to 'doc/misc/srecode.texi')
| -rw-r--r-- | doc/misc/srecode.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/srecode.texi b/doc/misc/srecode.texi index 74904f37e1e..80bf85c3a71 100644 --- a/doc/misc/srecode.texi +++ b/doc/misc/srecode.texi @@ -511,7 +511,7 @@ to insert it anywhere in the template search list. If there are multiple templates with the same context and name, the template with the highest priority number will be used. -If multiple files have the same priority, then then sort order is +If multiple files have the same priority, then the sort order is unpredictable. If no template names match, then it doesn't matter. Example: |