
DOCS = Makefile DGTboard.txt FICS-Timeseal.txt GNUChess5.txt Sjeng.txt Crafty.txt GNUChess4.txt Scripts.txt Themes.txt

dist:
	cp -f $(DOCS) ../$(DIST)/Documentation

