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

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

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

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

bin_dist:
	@echo "Nothing has to be done"
