From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 9 Mar 2019 21:45:20 +0000 (+0000)
Subject: use plag-mangler not plag-mangle
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=54c00d6f0dbc61c34836fd227a935a50f6508799;p=pandemic-rising-tide.git

use plag-mangler not plag-mangle
---

diff --git a/Makefile b/Makefile
index a121111..e793512 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ export PERL_HASH_SEED=1
 
 # PLAG_DEBUG   ?= $(PLAG)     # effectively
 # PLAG_RELEASE ?= $(PLAG)     # ie caller may set these
-PLAG_DIR     ?= ../plag-mangle
+PLAG_DIR     ?= ../plag-mangler
 
 USE_PLAG_DEBUG   := $(shell ./find-plag \
  debug:release "$(PLAG_DIR)" "$(PLAG_DEBUG)" "$(PLAG_RELEASE)" "$(PLAG)")
diff --git a/find-plag b/find-plag
index 9ec851e..41fe6b2 100755
--- a/find-plag
+++ b/find-plag
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -e
 
-cmd=plag-mangle
+cmd=plag-mangler
 
 want="$1"; shift
 dir="$1"; shift
@@ -31,5 +31,5 @@ for which in ${want//\:/ }; do
 done
 
 printf >&2 ' no!\n'
-echo missing-plag-mangle-utility
+echo missing-plag-mangler-utility
 exit 16
diff --git a/generate-plag b/generate-plag
index a77cbe0..1868acf 100755
--- a/generate-plag
+++ b/generate-plag
@@ -16,7 +16,7 @@ sub output_planar_graph () {
       o(" ", plag_prs($adj->{Name}), "\n");
     }
   }
-  # RUST_BACKTRACE=1 target/release/plag-mangle <../pandemic-rising-tide/map.plag R DUAL OUTER-F2V OUTER-SPLIT B T OUTER-F2V OUTER-F12VA PCO CP RAE PRINT-VI-NAMES NLOPT WG t.dot | qtdebug/vtrace
+  # RUST_BACKTRACE=1 target/release/plag-mangler <../pandemic-rising-tide/map.plag R DUAL OUTER-F2V OUTER-SPLIT B T OUTER-F2V OUTER-F12VA PCO CP RAE PRINT-VI-NAMES NLOPT WG t.dot | qtdebug/vtrace
 
 }