From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 28 Feb 2019 12:37:33 +0000 (+0000)
Subject: add faces.plag
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=091e21b3c62d242077d254f6979a33493641a06e;p=pandemic-rising-tide.git

add faces.plag
---

diff --git a/.gitignore b/.gitignore
index 9733d35..bb3988d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,5 +2,6 @@ map.dot
 map.ps
 map.plag
 opt.plag
+faces.plag
 .opt.plag.sums
 *.tmp
diff --git a/Makefile b/Makefile
index b64603c..0207b2d 100644
--- a/Makefile
+++ b/Makefile
@@ -20,5 +20,8 @@ opt.plag: maybe-rerun-optim map.plag $(PLANAR_GRAPH) Makefile
 		D 0 NLOPT				\
 		W $@.tmp				\
 
+faces.plag: opt.plag $(PLANAR_GRAPH) Makefile
+	$(PLANAR_GRAPH) RF $< W-FACES $@.tmp && $i
+
 #map.ps: map.dot
 #	neato -Tps $^ $o