diff options
| -rw-r--r-- | doc/misc/flymake.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi index 5005045d65c..a9904530e13 100644 --- a/doc/misc/flymake.texi +++ b/doc/misc/flymake.texi | |||
| @@ -87,7 +87,7 @@ messages also contain a filename and a line number. Selecting such a | |||
| 87 | menu item will automatically open the file and jump to the line with | 87 | menu item will automatically open the file and jump to the line with |
| 88 | error. | 88 | error. |
| 89 | 89 | ||
| 90 | Syntax check is done 'on-the-fly'. It is started whenever | 90 | Syntax check is done ``on-the-fly''. It is started whenever |
| 91 | 91 | ||
| 92 | @itemize @bullet | 92 | @itemize @bullet |
| 93 | @item buffer is loaded | 93 | @item buffer is loaded |