add faces.plag

diff --git a/.gitignore b/.gitignore
index 9733d350ce9fd1f6dd306c8330b7f06fdfcf985e..bb3988dda4c8b7f96e17130aed98255fe0f9815b 100644 (file)
--- 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 b64603c56e3ab0cefbc1146156d7137dee2005c8..0207b2d6ef8597dac38372492e15fc12d88e20ab 100644 (file)
--- 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