diff options
author | 2009-10-12 23:45:04 +0200 | |
---|---|---|
committer | 2009-10-12 23:45:04 +0200 | |
commit | 23472d5f61ec7a6ee1a50580abd1aafd2da61d30 (patch) | |
tree | 9f49d8825f86d490612ef93cd50228cce3b4849b | |
parent | Make layman-global.txt creator script apply header and encoding (diff) | |
download | repositories-xml-format-23472d5f61ec7a6ee1a50580abd1aafd2da61d30.tar.gz repositories-xml-format-23472d5f61ec7a6ee1a50580abd1aafd2da61d30.tar.bz2 repositories-xml-format-23472d5f61ec7a6ee1a50580abd1aafd2da61d30.zip |
Improve "generated file" note for layman-global.txt
-rwxr-xr-x | write-layman-global-txt.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/write-layman-global-txt.py b/write-layman-global-txt.py index 72216fe..eb009ba 100755 --- a/write-layman-global-txt.py +++ b/write-layman-global-txt.py @@ -61,7 +61,7 @@ for repo in repositories: repo.remove(o) # Add note on file being a generated one - repo.insert(0, ET.Comment('NOTE: This file is generated, do not edit.')) + repo.insert(0, ET.Comment('THIS FILE IS GENERATED, PLEASE EDIT repositories.xml INSTEAD.')) # Kill unsupported attributes for att_name in ('version', ): |