diff options
| author | Lars Ingebrigtsen | 2019-09-16 22:08:57 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2019-09-16 22:08:57 +0200 |
| commit | 72ad41c05994a67679c7bd54a3d73726bcca0597 (patch) | |
| tree | 452dac047bf298c606ab9e3472b41ce784229189 | |
| parent | dbf2f18f170d5de05a80b12fa538e14b540780a5 (diff) | |
| download | emacs-72ad41c05994a67679c7bd54a3d73726bcca0597.tar.gz emacs-72ad41c05994a67679c7bd54a3d73726bcca0597.zip | |
Minor fix for previous maintaining.texi change
* doc/emacs/maintaining.texi (VC Directory Commands): Use @file
for files.
| -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 ae4b7bbafff..9a9957069fd 100644 --- a/doc/emacs/maintaining.texi +++ b/doc/emacs/maintaining.texi | |||
| @@ -1284,7 +1284,7 @@ listed files and directories. | |||
| 1284 | @item G | 1284 | @item G |
| 1285 | Add the file under point to the list of files that the VC should | 1285 | Add the file under point to the list of files that the VC should |
| 1286 | ignore (@code{vc-dir-ignore}). For instance, if the VC is Git, it | 1286 | ignore (@code{vc-dir-ignore}). For instance, if the VC is Git, it |
| 1287 | will append this file to the @samp{.gitignore} file. If given a | 1287 | will append this file to the @file{.gitignore} file. If given a |
| 1288 | prefix, do this with all the marked files. | 1288 | prefix, do this with all the marked files. |
| 1289 | 1289 | ||
| 1290 | @item q | 1290 | @item q |