#!/bin/sh

# $Id: makemake,v 1.10 2000/11/10 11:27:36 freek Exp $

FILES=`ls *.v | grep -v Transparent_ | grep -v Opaque_`
bin/makelist '-image tactics/coqalgebra.out -I tactics -I milad' $FILES > Make
do_Makefile -I tactics -I milad -f Make > Makefile
make depend
