manual: Fix a syntax error.
commit16efad5171ac1ac2c8728405f2703045f08c494b
authorRical Jasan <ricaljasan@pacific.net>
Fri, 16 Feb 2018 16:21:47 +0000 (16 08:21 -0800)
committerRical Jasan <ricaljasan@pacific.net>
Fri, 16 Feb 2018 16:21:47 +0000 (16 08:21 -0800)
treedcdddab65c99830b0948de5d675c915fdeabe1de
parent8724507385a591a71297c2da0e12001eae6bd88d
manual: Fix a syntax error.

The opening parenthesis for function arguments in an @deftypefun need
to be separated from the function name.  This isn't just a matter of
the GNU coding style---it causes the "(void" (in this case) to be
rendered as a part of the function name, causing a visual defect, and
also results in a warning to the following effect during `make pdf':

  Warning: unbalanced parentheses in @def...)

* manual/platform.texi (__riscv_flush_icache): Fix @deftypefun
syntax.
ChangeLog
manual/platform.texi