diff options
| -rw-r--r-- | admin/ChangeLog | 5 | ||||
| -rw-r--r-- | admin/unidata/unidata-gen.el | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index b43fdbc4333..f865a0e3c2d 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog @@ -1,3 +1,8 @@ +2013-11-07 Glenn Morris <rgm@gnu.org> + + * unidata/unidata-gen.el (unidata-gen-files): + Disable version-control in generated files. + 2013-11-05 Glenn Morris <rgm@gnu.org> * update_autogen: Move here from ../autogen. diff --git a/admin/unidata/unidata-gen.el b/admin/unidata/unidata-gen.el index a45358dac6f..110f2d60379 100644 --- a/admin/unidata/unidata-gen.el +++ b/admin/unidata/unidata-gen.el @@ -1239,6 +1239,7 @@ is the character itself."))) (if (eobp) (insert ";; Local Variables:\n" ";; coding: utf-8\n" + ";; version-control: never\n" ";; no-byte-compile: t\n" ";; End:\n\n" (format ";; %s ends here\n" basename))) @@ -1247,6 +1248,7 @@ is the character itself."))) (message "Writing %s..." charprop-file) (insert ";; Local Variables:\n" ";; coding: utf-8\n" + ";; version-control: never\n" ";; no-byte-compile: t\n" ";; End:\n\n" (format ";; %s ends here\n" |