#!/bin/sh
#
# installation script for the documentation directory.
#

set -x

SML_ROOT=$1

DOC_FILES="\
    src/cm/Doc/manual.ps		cm-manual.ps
    src/ml-burg/doc/doc.ps		burg-manual.ps
    src/ml-yacc/doc/tech.doc		yacc-hacking.doc
  "\

linkFiles () {
    while [ "$#" != "0" ]; do
	path=$SML_ROOT/$1; file=$2; shift
	if [ -r $path ]; then
	    ln -s $path $file
	fi
    done
}

linkFiles $DOC_FILES
