Changeset 54fc6fe in rtems


Ignore:
Timestamp:
Mar 26, 1998, 8:44:35 PM (23 years ago)
Author:
Joel Sherrill <joel.sherrill@…>
Branches:
4.10, 4.11, 4.8, 4.9, 5, master
Children:
fad4de2b
Parents:
433a01b
Message:

The script did not handle public distributions at all.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/do_docs

    r433a01b r54fc6fe  
    1616# ada_user manual left out until bindings released
    1717
     18if [ x${MANUAL_SET} = x ] ; then
     19  MANUAL_SET=public
     20fi
     21
    1822case ${MANUAL_SET} in
     23  public)
     24    manuals="$public_docs"
     25    ;;
    1926  support)
    2027    manuals="$public_docs $support_docs"
     
    2734    ;;
    2835  *)
    29     echo "ERROR: Unknown manual set $(MANUAL_SET)"
     36    echo "ERROR: Unknown manual set ${MANUAL_SET}"
    3037    exit 1
    3138    ;;
Note: See TracChangeset for help on using the changeset viewer.