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 da6bd1f4e3..2c10189462 100755 --- a/doc/do_docs +++ b/doc/do_docs @@ -5,7 +5,7 @@ basedir=$1 shift -public_docs="user develenv ka9q posix_users" +public_docs="user develenv ka9q posix_users started started_ada" support_docs="supplements/hppa1_1 supplements/i386 \ supplements/i960 supplements/m68k supplements/sparc newlib gcc" partners_docs="posix1003.1 posix1003.1h" |