# Makefile for creating distribution
# Type 'make dist' for create tar-gziped archiv. 

#
# Author: Lubomir Host 'rajo' <host8@kepler.fmph.uniba.sk
#

# $Id: Makefile,v 1.1 2002/05/22 17:46:25 host8 Exp $

all:
	cd .. \
	&& $(MAKE) html
