Detect use of backslash in node names (3590)

Although a backslash in a node name appears to cause
no problems when used in a within-manual reference,
it causes cross-manual references to fail.

diff --git a/scripts/auxiliar/ref_check.py b/scripts/auxiliar/ref_check.py
index 09c344959976b172fa9d502f43d59187199b8207..33a610d9c0bb5873f5faf0bdb4f9d759a5721889 100755 (executable)
--- a/scripts/auxiliar/ref_check.py
+++ b/scripts/auxiliar/ref_check.py
@@ -46,6 +46,9 @@ class CrossRefs:
   def addNode(self, nodeName, manualName, fileName):
     global returnCode
 #    print "Node: ", nodeName, " in ", manualName, " found in ", fileName
+    if "\\" in nodeName:
+      returnCode = 1
+      print "nodeName: ", nodeName, " in ", fileName, " contains backslash"
     if manualName+"/"+nodeName in self.Nodes.keys():
       print "Error: Duplicate nodename ",nodeName, " in ", fileName, " and ", self.Nodes[manualName+"/"+nodeName][1]
       returnCode=1
@@ -53,6 +56,10 @@ class CrossRefs:
     self.nodeNames[nodeName] = fileName
 
   def addRef(self, toManualName, toHeading, inFileName):
+    global returnCode
+    if "\\" in toHeading:
+      returnCode = 1
+      print "ref to: ", toHeading, " in ", inFileName, " contains backslash"
 #    if inFileName == "notation/vocal.itely":
 #      print "Ref to ", toManualName, "/",toHeading, " found in ", inFileName
     self.Refs.append([toManualName + "/" + toHeading, inFileName])