diff options
Diffstat (limited to 'doc/misc/reftex.texi')
| -rw-r--r-- | doc/misc/reftex.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/reftex.texi b/doc/misc/reftex.texi index 28d0e9cc80c..69092093af8 100644 --- a/doc/misc/reftex.texi +++ b/doc/misc/reftex.texi | |||
| @@ -4122,7 +4122,7 @@ Flags governing label insertion. The value has the form | |||
| 4122 | (@var{derive} @var{prompt}) | 4122 | (@var{derive} @var{prompt}) |
| 4123 | @end example | 4123 | @end example |
| 4124 | 4124 | ||
| 4125 | If @var{derive}is @code{t}, @b{Ref@TeX{}} will try to derive a sensible | 4125 | If @var{derive} is @code{t}, @b{Ref@TeX{}} will try to derive a sensible |
| 4126 | label from context. A section label for example will be derived from | 4126 | label from context. A section label for example will be derived from |
| 4127 | the section heading. The conversion of the context to a valid label is | 4127 | the section heading. The conversion of the context to a valid label is |
| 4128 | governed by the specifications given in | 4128 | governed by the specifications given in |