From b66903d12cbb860344e0aab0b7a318825cc1239b Mon Sep 17 00:00:00 2001 From: Werner Lemberg Date: Mon, 26 Jan 2015 07:12:59 +0100 Subject: [PATCH] `txi-ca.tex' is now part of texinfo. We thus no longer handle the copyright years by ourselves. --- scripts/build/grand-replace.py | 1 + 1 file changed, 1 insertion(+) 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', -- 2.39.2