diff options
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/ede.texi | 2 | ||||
| -rw-r--r-- | doc/misc/reftex.texi | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/misc/ede.texi b/doc/misc/ede.texi index bc6e3281bb7..f7e39b6c65c 100644 --- a/doc/misc/ede.texi +++ b/doc/misc/ede.texi | |||
| @@ -1588,7 +1588,7 @@ Argument @var{PROJ} is the project to save. | |||
| 1588 | @end deffn | 1588 | @end deffn |
| 1589 | 1589 | ||
| 1590 | @deffn Method ede-proj-configure-recreate :AFTER this | 1590 | @deffn Method ede-proj-configure-recreate :AFTER this |
| 1591 | Delete project @var{THIS}es configure script and start over. | 1591 | Delete project @var{THIS}'s configure script and start over. |
| 1592 | @end deffn | 1592 | @end deffn |
| 1593 | 1593 | ||
| 1594 | @deffn Method ede-proj-makefile-insert-user-rules :AFTER this | 1594 | @deffn Method ede-proj-makefile-insert-user-rules :AFTER this |
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 |