From 4759117cc3043ad1e5dbdfa91d651fa1e7afb20f Mon Sep 17 00:00:00 2001 From: Tim Mann Date: Tue, 18 Nov 2003 09:25:22 +0000 Subject: [PATCH] Tweaks to "make dist" --- Makefile.in | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index 01ee09a..75770ef 100644 --- a/Makefile.in +++ b/Makefile.in @@ -137,7 +137,8 @@ FAQ: FAQ.html pseudosource: $(PSEUDOSOURCE) dist: distclean - (cd linux && make pseudosource && cp -a $(PSEUDOSOURCE) ..) + ((cd linux && make pseudosource && cp $(PSEUDOSOURCE) -a ..) || true) + if [ -f winboard/WINBOARD.HLP ] ; then mv winboard/WINBOARD.HLP winboard/winboard.hlp ; fi rm -rf $(DISTDIR) mkdir $(DISTDIR) cp -a $(DISTSOURCE) $(DISTDIR)/ @@ -185,7 +186,7 @@ backend.o: frontend.h backend.o: backend.h lists.h backend.o: parser.h backend.o: moves.h -backend.o: @ZIPPY_H@ +backend.o: zippy.h childio.o: config.h childio.o: common.h childio.o: frontend.h -- 1.7.0.4