# HG changeset patch
# User Tormod Volden <debian.tormod@gmail.com>
# Date 1373478602 -7200
# Node ID 7f24db5fd7611f5fc7c1912621be0a0e6574dcfd
# Parent  c1892376e7a7bcbb278cf02a79cad66d0c6208b1
Create $(DSKDIR) if needed when running make dskcopy

diff -r c1892376e7a7 -r 7f24db5fd761 makefile
--- a/makefile	Wed Jul 10 19:45:32 2013 +0200
+++ b/makefile	Wed Jul 10 19:50:02 2013 +0200
@@ -29,6 +29,7 @@
 
 # Copy DSK images
 dskcopy:	all
+	mkdir -p $(DSKDIR)
 	$(foreach dir, $(dirs), ($(CD) $(dir); make dskcopy);)
 	$(MKDSKINDEX) $(DSKDIR) > $(DSKDIR)/index.html