diff options
| author | Marcos Paulo de Souza <marcos.mage@gmail.com> | 2011-11-23 16:56:45 +0400 |
|---|---|---|
| committer | Wu Fengguang <fengguang.wu@intel.com> | 2011-11-29 11:50:28 +0400 |
| commit | 786228ab3095fe18dba3bc0d62055a123991d9d9 (patch) | |
| tree | b722e6d7ab1d8bf2f595bf941dc8c624bc9631e2 /lib/mpi/mpi-div.c | |
| parent | 8748dfae379573cdbea4e765b55e608a1764f918 (diff) | |
| download | linux-786228ab3095fe18dba3bc0d62055a123991d9d9.tar.xz | |
writeback: Fix issue on make htmldocs
Document the @reason parameter to make "make htmldocs" happy.
Acked-by: Randy Dunlap <rdunlap@xenotime.net>
Signed-off-by: Marcos Paulo de Souza <marcos.mage@gmail.com>
Signed-off-by: Wu Fengguang <fengguang.wu@intel.com>
Diffstat (limited to 'lib/mpi/mpi-div.c')
0 files changed, 0 insertions, 0 deletions