diff options
| author | Werner Lemberg <wl@gnu.org> | 2015-01-26 07:12:59 +0100 |
|---|---|---|
| committer | Werner Lemberg <wl@gnu.org> | 2015-01-26 07:12:59 +0100 |
| commit | b66903d12cbb860344e0aab0b7a318825cc1239b (patch) | |
| tree | 4b878a062b8a3bb77c880f48cd121115d8b59556 /scripts | |
| parent | 95062e3d77d13192a21bb7964d8237308a306d69 (diff) | |
`txi-ca.tex' is now part of texinfo.
We thus no longer handle the copyright years by ourselves.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build/grand-replace.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/build/grand-replace.py b/scripts/build/grand-replace.py index f709be1760..bb038fbf1d 100644 --- a/scripts/build/grand-replace.py +++ b/scripts/build/grand-replace.py @@ -42,6 +42,7 @@ copied_files = [ 'mf2pt1.mp', 'mf2pt1.pl', 'texinfo.tex', + 'txi-ca.tex', 'txi-de.tex', 'txi-en.tex', 'txi-es.tex', |