diff options
| -rw-r--r-- | ChangeLog | 2 | ||||
| -rw-r--r-- | manual/maint.texi | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index 8b91b32f15..39aa2158c7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2016-10-06 Rical Jasan <ricaljasan@pacific.net> + * manual/maint.texi: Fix typos in the manual. + * manual/install.texi: Fix typos in the manual. * INSTALL: Regenerated. diff --git a/manual/maint.texi b/manual/maint.texi index 862b49d956..473ab162f0 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}. |