diff options
| -rw-r--r-- | man/flymake.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/flymake.texi b/man/flymake.texi index 47f18cae36a..e710b903361 100644 --- a/man/flymake.texi +++ b/man/flymake.texi | |||
| @@ -765,3 +765,7 @@ It just kills all the active syntax check processes before calling | |||
| 765 | @printindex cp | 765 | @printindex cp |
| 766 | 766 | ||
| 767 | @bye | 767 | @bye |
| 768 | |||
| 769 | @ignore | ||
| 770 | arch-tag: 9f0db077-5598-49ab-90b9-8df9248a63ec | ||
| 771 | @end ignore | ||