From: Tim Mann <tim@tim-mann.org>
Date: Tue, 18 Nov 2003 09:25:22 +0000 (+0000)
Subject: Tweaks to "make dist"
X-Git-Tag: v4.2.7~9
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=4759117cc3043ad1e5dbdfa91d651fa1e7afb20f;p=xboard.git

Tweaks to "make dist"
---

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