joachim99@13: all: 
joachim99@13: 	@echo "This Makefile is only for the CVS repository"
joachim99@13: 	@echo "This will be deleted before making the distribution"
joachim99@13: 	@echo ""
joachim99@13: 	$(MAKE) -f admin/Makefile.common cvs
joachim99@13: 
joachim99@13: dist:
joachim99@13: 	$(MAKE) -f admin/Makefile.common dist
joachim99@13: 
joachim99@13: .SILENT: