Tweaks to "make dist"
authorTim Mann <tim@tim-mann.org>
Tue, 18 Nov 2003 09:25:22 +0000 (09:25 +0000)
committerTim Mann <tim@tim-mann.org>
Tue, 18 Nov 2003 09:25:22 +0000 (09:25 +0000)
Makefile.in

index 01ee09a..75770ef 100644 (file)
@@ -137,7 +137,8 @@ FAQ: FAQ.html
 pseudosource: $(PSEUDOSOURCE)
 
 dist: distclean
 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)/
        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: 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
 childio.o: config.h
 childio.o: common.h
 childio.o: frontend.h