chiark
/
gitweb
/
~ian
/
pandemic-rising-tide.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
add faces.plag
[pandemic-rising-tide.git]
/
Makefile
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