#! /bin/sh
#########################################################################
#
# File: spmkrs
#
# This file has been automatically generated by sicstus3/misc/Makefile
# DO NOT EDIT THIS FILE!
#
# Generated on: Fri Feb 13 15:34:26 JST 1998
#
#########################################################################
# Usage: spmkrs
|