#!/bin/sh

# Makes the directory structure for a library. 

/bin/mkdir $1
(cd $1; /bin/mkdir src theories help; ( cd theories; /bin/mkdir src ascii))
