#!/bin/sh

# Add INFOCOM_PATH to /etc/profile
echo "export INFOCOM_PATH=/usr/local/games/infocom:/usr/local/games/inform" >> /etc/profile

