src/Tools/8bit/mk

'name' etc. include 'number';
attrib: include keyword_sid as name;

#!/bin/bash
#
# $Id$
#
# mk - build 8bit
#
# Assumes to be called with current directory 'Tools/8bit'

export ISABELLE8BIT=$PWD

mkdir -p bin
touch Makefile

gmake