From bab9a63b14ed173def1f40034e3d5a0e65677e7a Mon Sep 17 00:00:00 2001 From: Henrik Levkowetz Date: Sun, 27 Mar 2016 21:05:26 +0200 Subject: [PATCH] Tweaked the JS code to work with rfcdiff 1.44, and made the merge script more specific in what it replaces. --- merge.py | 2 +- rfcdiff.js | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/merge.py b/merge.py index 3904daa..417d07c 100644 --- a/merge.py +++ b/merge.py @@ -6,7 +6,7 @@ out = open(sys.argv[3], "w") for l in inf: - if (l.find("rfcdiff.js") != -1): + if (l.find('') != -1): out.write("