diff options
| -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 01379af156..7b3e5744b0 100755 --- a/doc/do_docs +++ b/doc/do_docs @@ -6,7 +6,7 @@ basedir=$1 shift public_docs="user develenv ka9q posix_users" -support_docs="hppa1_1 i386 i960 m68k sparc newlib" +support_docs="hppa1_1 i386 i960 m68k sparc newlib gcc" partners_docs="posix1003.1 posix1003.1h" oar_manuals="ada_user hwapi powerpc" |