diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2007-07-31 13:33:18 +0000 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2007-07-31 13:33:18 +0000 |
| commit | 32c075e1f01849e161724bbd400ba77244e482cc (patch) | |
| tree | 5f083a3f352104f32bb6c902d57fa3f294bd8d4d /manual/maint.texi | |
| parent | d6220e9ee38c1c9285221b023346201ec5f511b3 (diff) | |
.
Diffstat (limited to 'manual/maint.texi')
| -rw-r--r-- | manual/maint.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/maint.texi b/manual/maint.texi index 567db981a3..2b9221233a 100644 --- a/manual/maint.texi +++ b/manual/maint.texi @@ -156,7 +156,7 @@ subdirectories under it intended to be new specific categories. to look for a system-dependent version of a file that's not in @file{generic}. This means that any system-dependent source file must have an analogue in @file{generic}, even if the routines defined by that -file are not implemented on other platforms. Second, the @file{generic} +file are not implemented on other platforms. Second. the @file{generic} version of a system-dependent file is used if the makefiles do not find a version specific to the system you're compiling for. |