diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1999-04-23 16:42:01 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1999-04-23 16:42:01 +0000 |
commit | 7a8dfad063e2c570f940c11312cbcf1184326620 (patch) | |
tree | da9c54c410afc577f5318e410837054c37c4cdfc /doc/do_docs | |
parent | Switched to full doc set. (diff) | |
download | rtems-7a8dfad063e2c570f940c11312cbcf1184326620.tar.bz2 |
Changed date.
Diffstat (limited to 'doc/do_docs')
-rwxr-xr-x | doc/do_docs | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/doc/do_docs b/doc/do_docs index 792c5b643a..46949dc81b 100755 --- a/doc/do_docs +++ b/doc/do_docs @@ -23,14 +23,11 @@ fi case ${MANUAL_SET} in public) - manuals="$public_docs" - ;; - support) + # manuals="$public_docs" + # ;; + #support) manuals="$public_docs $support_docs" ;; - partners) - manuals="$public_docs $support_docs $partners_docs" - ;; *) echo "ERROR: Unknown manual set ${MANUAL_SET}" exit 1 |