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 9bdec7ea4e..a657b5c63f 100755 --- a/doc/do_docs +++ b/doc/do_docs @@ -3,7 +3,8 @@ basedir=$1 shift manuals="develenv hppa1_1 i386 i960 m68k relnotes sparc user ka9q" -# posix_test_plan manual left out in 4.1.0 +# posix_test_plan manual left out until finished +# ada_user manual left out until bindings released for action in $* do |