Fix D''ARREST so that it becomes D'ARREST

2015-02-08 11:58:35 -05:00 · 2015-02-08 11:58:35 -05:00 · 19248ff89e
parent 95199b0114
commit 19248ff89e
2 changed files with 2 additions and 1 deletions
--- a/bin/parse_zzidmap.awk
+++ b/bin/parse_zzidmap.awk
@ -12,6 +12,7 @@ BEGIN {

 /^ *BLTNAM/ {
    sub("[^']*", "")
+    gsub(/''/, "\\'")
    print "    (" n ", " $0 "),"
 }

--- a/jplephem/names.py
+++ b/jplephem/names.py
@ -422,7 +422,7 @@ target_name_pairs = [
    (1000014, 'CLARK'),
    (1000015, 'COMAS SOLA'),
    (1000016, 'CROMMELIN'),
-    (1000017, 'D''ARREST'),
+    (1000017, 'D\'ARREST'),
    (1000018, 'DANIEL'),
    (1000019, 'DE VICO-SWIFT'),
    (1000020, 'DENNING-FUJIKAWA'),