## do not edit this #########################################################
TARFILE=../weyl.tar
SRCDISTFILE=weyl
EXT="ext"
GAP_PATH=..
PKG_PATH=.

## there is nothing to install ##############################################
unknown:
	@echo "the weyl package is already installed"

backup:
	@(cmp weyl.tex ../../doc/weyl.tex || echo \
	 "*** WARNING: current 'weyl.tex' and 'doc/weyl.tex' differ ***")
	@rm -f $(TARFILE)
	@tar cvf $(TARFILE) Makefile README init.g weylgrp.g weyl.tex

src_dist:
	@(cmp ${PKG_PATH}/weyl/weyl.tex ${GAP_PATH}/doc/weyl.tex || echo \
	 "*** WARNING: current 'weyl.tex' and 'doc/weyl.tex' differ ***")
	@zoo ah ${SRCDISTFILE}.zoo \
		${PKG_PATH}/weyl/Makefile \
		${PKG_PATH}/weyl/README \
		${PKG_PATH}/weyl/init.g \
		${PKG_PATH}/weyl/weylgrp.g \
		${PKG_PATH}/weyl/weyl.tex
	@zoo PE ${SRCDISTFILE}.zoo

bin_dist:
	@echo "Nothing has to be done"
