2016-05-06 Rical Jasan <ricaljasan@pacific.net>
* manual/maint.texi: Fix typos in the manual.
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.
@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}.