diff options
Diffstat (limited to 'manual')
| -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 862b49d..473ab16 100644 --- a/manual/maint.texi +++ b/manual/maint.texi @@ -152,7 +152,7 @@ functions should be called @file{sys/platform/@var{name}.h}. @item Each header file's name should include the platform name, to avoid -users thinking there is anything in common between different the +users thinking there is anything in common between the different header files for different platforms. For example, a @file{sys/platform/@var{arch}.h} name such as @file{sys/platform/ppc.h} is better than @file{sys/platform.h}. |