From: Trevor Daniels <t.daniels@treda.co.uk>
Date: Fri, 20 Aug 2010 08:19:33 +0000 (+0100)
Subject: Script: trap file not found
X-Git-Tag: release/2.13.31-1~23
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=51062dd7ec2e2cce5000b4c1e56173b1f0b4ee16;p=lilypond.git

Script: trap file not found
---

diff --git a/scripts/auxiliar/ref_check.py b/scripts/auxiliar/ref_check.py
index 8050272d9f..48bc4d6e10 100755
--- a/scripts/auxiliar/ref_check.py
+++ b/scripts/auxiliar/ref_check.py
@@ -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: