Tweaks to "make dist"
[xboard.git] / Makefile.in
index fa89281..75770ef 100644 (file)
@@ -90,7 +90,7 @@ uninstall:
                $(infodir)/xboard.info $(infodir)/dir
 
 clean:
-       rm -f xboard zic2xpm *.o *.txt $(LEX_OUTPUT_ROOT).c
+       rm -f xboard zic2xpm *.o xboard.txt zic2xpm.txt $(LEX_OUTPUT_ROOT).c
        rm -f xboard_*.html xboard.aux* xboard.cp* xboard.dvi xboard.fn*
        rm -f xboard.ky* xboard.log xboard.pg* xboard.toc xboard.tp*
        rm -f xboard.vr* xboard.ps
@@ -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