#!/bin/sh

# $Id: makemake,v 1.3 2000/06/21 14:07:47 freek Exp $

../bin/makelist '-image ../tactics/coqalgebra.out -I .. -I ../tactics' *.v > Make
do_Makefile -I .. -I ../tactics -f Make > Makefile
make depend
