diff options
Diffstat (limited to 'doc/do_docs')
-rwxr-xr-x | doc/do_docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/do_docs b/doc/do_docs index e67d07e1dd..548f8647a9 100755 --- a/doc/do_docs +++ b/doc/do_docs @@ -13,7 +13,7 @@ supplements="supplements/hppa1_1 supplements/i386 \ # Division by access level public_docs="user develenv networking posix_users started started_ada" -support_docs="${supplements} ${gnu_tools}" +support_docs="${supplements}" partners_docs="posix1003.1 posix1003.1h" oar_manuals="ada_user hwapi tools/texi2www \ browseable_rtems posix_users_new bsp_howto" |