]> git.donarmstrong.com Git - lilypond.git/blobdiff - scripts/auxiliar/ref_check.py
Style: disable removal of "gratuitous" blocks.
[lilypond.git] / scripts / auxiliar / ref_check.py
index 8050272d9fbed687e44f79b3076912fff400b564..4b4e51f0bb59e8ee86c3a8908dee8761fe2a58e9 100755 (executable)
@@ -94,7 +94,11 @@ class File:
     """ Process File """
 
     skip = False
-    myfile = open(self.fullFileName, 'r')
+    try:
+      myfile = open(self.fullFileName, 'r')
+    except IOError:
+      print "File ", self.fullFileName, " referenced in ", File.CurrentManualName, " but not found"
+      return
     remainderLine = ""
     lineNo = 0
     for line in myfile:
@@ -107,7 +111,7 @@ class File:
           if words[0] == "@end" and (words[1].find("ignore") >= 0 or words[1].find("macro") >= 0):
             skip = False
 
-        if not skip and words[0].find("@c") < 0:
+        if not skip and words[0] != "@c":
           if words[0].find("@defManual") >= 0:
             # Manual definition found - extract manual name and refManual string
             manualName = words[1]