chiark / gitweb /
add a README to generated directories
authorThomas Thurman <tthurman@gnome.org>
Tue, 18 Jan 2011 00:40:19 +0000 (19:40 -0500)
committerThomas Thurman <tthurman@gnome.org>
Tue, 18 Jan 2011 00:40:19 +0000 (19:40 -0500)
src/make-pages.py

index 5def4b1..f1d450f 100644 (file)
@@ -93,6 +93,11 @@ def parse_xml(filename):
 
             conf.close()
 
+            readme = file(target+'/README', 'w')
+            readme.write('These are generated from bcp.xml.\n')
+            readme.write('You should not check them in.\n')
+            readme.close()
+
     handler = Handler()
 
     xml.sax.parse(filename, handler)