Message ID | 1462521305-19409-37-git-send-email-ricaljasan@pacific.net |
---|---|
State | New |
Headers | show |
+1 cjl On Fri, May 6, 2016 at 3:55 AM, <ricaljasan@pacific.net> wrote: > 2016-05-06 Rical Jasan <ricaljasan@pacific.net> > > * manual/maint.texi: Fix typos in the manual. > --- > manual/maint.texi | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) >
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}.