diff options
| -rw-r--r-- | man/flymake.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/flymake.texi b/man/flymake.texi index bb1041609a2..ae56dfa05b2 100644 --- a/man/flymake.texi +++ b/man/flymake.texi | |||
| @@ -110,7 +110,9 @@ patterns. @xref{Configuring Flymake}. | |||
| 110 | 110 | ||
| 111 | Release versions of Flymake can be downloaded from | 111 | Release versions of Flymake can be downloaded from |
| 112 | @* @url{https://sourceforge.net/project/showfiles.php?group_id=77501}. | 112 | @* @url{https://sourceforge.net/project/showfiles.php?group_id=77501}. |
| 113 | You can also try current version available via CVS at @url{https://}. | 113 | |
| 114 | You can also try the current development version available via CVS at | ||
| 115 | @url{https://sourceforge.net/cvs/?group_id=77501}. | ||
| 114 | 116 | ||
| 115 | Flymake's homepage is at @url{http://flymake.sourceforge.net}. | 117 | Flymake's homepage is at @url{http://flymake.sourceforge.net}. |
| 116 | 118 | ||