diff --git a/doc/arm/Bv9ARM.ch06.html b/doc/arm/Bv9ARM.ch06.html index d25d2fce33..1115fe2ecd 100644 --- a/doc/arm/Bv9ARM.ch06.html +++ b/doc/arm/Bv9ARM.ch06.html @@ -1137,7 +1137,7 @@ [ channel channel_name { ( file path_name [ versions ( number | unlimited ) ] - [ size size spec ] + [ size size_spec ] | syslog syslog_facility | stderr | null );