diff options
| -rw-r--r-- | doc/emacs/maintaining.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/emacs/maintaining.texi b/doc/emacs/maintaining.texi index 5388b13f437..22b7639d349 100644 --- a/doc/emacs/maintaining.texi +++ b/doc/emacs/maintaining.texi | |||
| @@ -1735,7 +1735,7 @@ operate on a different project, the command | |||
| 1735 | This command prompts you to choose a directory among known project | 1735 | This command prompts you to choose a directory among known project |
| 1736 | roots, and then displays the menu of available commands to operate on | 1736 | roots, and then displays the menu of available commands to operate on |
| 1737 | the chosen project. The variable @code{project-switch-commands} | 1737 | the chosen project. The variable @code{project-switch-commands} |
| 1738 | controls which commands are avilable in the menu, and by which keys | 1738 | controls which commands are available in the menu, and by which keys |
| 1739 | they are invoked. | 1739 | they are invoked. |
| 1740 | 1740 | ||
| 1741 | @node Change Log | 1741 | @node Change Log |