diff options
author | Paul Fertser <fercerpav@gmail.com> | 2015-05-25 11:59:25 +0300 |
---|---|---|
committer | Spencer Oliver <spen@spen-soft.co.uk> | 2015-06-30 14:57:55 +0100 |
commit | 79fdeb37f486f74658f1eaf658abac8efb3eba6a (patch) | |
tree | 55630eb8997c7f9eb80e8208415f6213a491b9f1 | |
parent | 70a14db147eb80398bb012d72dacec7b6adc18fe (diff) |
manual: make it compatible with ancient texinfo versions that lack @raggedright
This is needed to unbreak build on systems that ship texinfo version
4.x.
Change-Id: Ie665d29b02bb65da7e8ed0d48d17fa56e231bd0d
Signed-off-by: Paul Fertser <fercerpav@gmail.com>
Reviewed-on: http://openocd.zylin.com/2781
Tested-by: jenkins
Reviewed-by: David Ung <davidu@nvidia.com>
Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-by: Oleksij Rempel
-rw-r--r-- | doc/openocd.texi | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi index 511bc6c1..0208fcf8 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -8460,11 +8460,17 @@ Cyg_Thread::thread_list, Cyg_Scheduler_Base::current_thread. @item ThreadX symbols _tx_thread_current_ptr, _tx_thread_created_ptr, _tx_thread_created_count. @item FreeRTOS symbols -@raggedright +@c The following is taken from recent texinfo to provide compatibility +@c with ancient versions that do not support @raggedright +@tex +\begingroup +\rightskip0pt plus2em \spaceskip.3333em \xspaceskip.5em\relax pxCurrentTCB, pxReadyTasksLists, xDelayedTaskList1, xDelayedTaskList2, pxDelayedTaskList, pxOverflowDelayedTaskList, xPendingReadyList, uxCurrentNumberOfTasks, uxTopUsedPriority. -@end raggedright +\par +\endgroup +@end tex @item linux symbols init_task. @item ChibiOS symbols |