#!/bin/sh

# $Id$
# First parameter non-empty if output should go to stderr.

if test "$#" -lt 1
then
    dest=""
else
    dest="1>&2"
fi

eval "echo '     - AIX        (IBM RS 6000 AIX 4.1.3)'" $dest
eval "echo '     - IRIX       (Silicon Graphics IRIX 5.x)'" $dest
eval "echo '     - IRIX64     (Silicon Graphics IRIX 6.x, 64-bit architecture)'" $dest
eval "echo '     - Linux486   (For PC with Intel i486)'" $dest
eval "echo '     - Linux586   (For PC with Intel i586 (Pentium))'" $dest
eval "echo '     - Linux      (For other Linux platforms)'" $dest
eval "echo '     - OSF1       (Dec alpha AXP OSF/1 V4.0)'" $dest
eval "echo '     - SunOS5     (Solaris 2.5)'" $dest
eval "echo '     - SunOS      (SunOS 4.1.3)'" $dest
eval "echo '     - ULTRIX     (DecStation ULTRIX V4.4)'" $dest
eval "echo '     - Other      (Choose this if none of the above fits)'" $dest

exit 0
