X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=scripts%2Fauxiliar%2Fref_check.py;h=33a610d9c0bb5873f5faf0bdb4f9d759a5721889;hb=84675bc536af363543bdae1fa422903a977e1ec8;hp=09c344959976b172fa9d502f43d59187199b8207;hpb=4fec19bb131b237b533018c863b89bcca5ab0eb4;p=lilypond.git

diff --git a/scripts/auxiliar/ref_check.py b/scripts/auxiliar/ref_check.py
index 09c3449599..33a610d9c0 100755
--- 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])