diff options
| -rw-r--r-- | etc/tasks.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/tasks.texi b/etc/tasks.texi index a0cfcf69ffe..ccecbf9d749 100644 --- a/etc/tasks.texi +++ b/etc/tasks.texi | |||
| @@ -39,8 +39,8 @@ last updated on @value{lastupdate}. | |||
| 39 | @chapter About the GNU Task List | 39 | @chapter About the GNU Task List |
| 40 | 40 | ||
| 41 | If you did not obtain this file directly from the GNU project and | 41 | If you did not obtain this file directly from the GNU project and |
| 42 | recently, please check for a newer version. You can ftp the task | 42 | recently, please check for a newer version. You can ftp the task list |
| 43 | list from any GNU FTP host in directory @file{/pub/gnu/tasks/}. The task | 43 | from any GNU FTP host in directory @file{/pub/gnu/tasks/}. The task |
| 44 | list is available there in several different formats: @file{tasks.text}, | 44 | list is available there in several different formats: @file{tasks.text}, |
| 45 | @file{tasks.texi}, @file{tasks.info}, and @file{tasks.dvi}. The GNU | 45 | @file{tasks.texi}, @file{tasks.info}, and @file{tasks.dvi}. The GNU |
| 46 | HURD task list is also there in file @file{tasks.hurd}. | 46 | HURD task list is also there in file @file{tasks.hurd}. |