From 091e21b3c62d242077d254f6979a33493641a06e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 28 Feb 2019 12:37:33 +0000
Subject: [PATCH] add faces.plag

---
 .gitignore | 1 +
 Makefile   | 3 +++
 2 files changed, 4 insertions(+)

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
-- 
2.30.2