diff options
Diffstat (limited to 'doc/do_docs')
-rwxr-xr-x | doc/do_docs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/do_docs b/doc/do_docs index 6099c18645..3643f30437 100755 --- a/doc/do_docs +++ b/doc/do_docs @@ -5,7 +5,8 @@ basedir=$1 shift -manuals="develenv hppa1_1 i386 i960 m68k relnotes powerpc sparc user ka9q" +manuals="develenv hppa1_1 i386 i960 m68k relnotes powerpc sparc user ka9q \ + posix_test_plan ada_user" # posix_test_plan manual left out until finished # ada_user manual left out until bindings released |