diff options
author | Karl Berry <karl@freefriends.org> | 2021-07-12 23:49:12 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-07-12 23:49:12 +0000 |
commit | 1683f7658ce7f282558a140237f5c130726ce085 (patch) | |
tree | 01390d1a0ff0680a8418cb97e20a5d8a270a1d83 /Build/source/utils/autosp/autosp-src/depcomp | |
parent | 7e90a18db513e14862e7e253efe156f129183d17 (diff) |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@59912 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/autosp/autosp-src/depcomp')
-rwxr-xr-x | Build/source/utils/autosp/autosp-src/depcomp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Build/source/utils/autosp/autosp-src/depcomp b/Build/source/utils/autosp/autosp-src/depcomp index 4ebd5b3a2f2..715e34311ed 100755 --- a/Build/source/utils/autosp/autosp-src/depcomp +++ b/Build/source/utils/autosp/autosp-src/depcomp @@ -1,9 +1,9 @@ #! /bin/sh # depcomp - compile a program generating dependencies as side-effects -scriptversion=2013-05-30.07; # UTC +scriptversion=2018-03-07.03; # UTC -# Copyright (C) 1999-2013 Free Software Foundation, Inc. +# Copyright (C) 1999-2021 Free Software Foundation, Inc. # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -16,7 +16,7 @@ scriptversion=2013-05-30.07; # UTC # GNU General Public License for more details. # You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. +# along with this program. If not, see <https://www.gnu.org/licenses/>. # As a special exception to the GNU General Public License, if you # distribute this file as part of a program that contains a @@ -783,9 +783,9 @@ exit 0 # Local Variables: # mode: shell-script # sh-indentation: 2 -# eval: (add-hook 'write-file-hooks 'time-stamp) +# eval: (add-hook 'before-save-hook 'time-stamp) # time-stamp-start: "scriptversion=" # time-stamp-format: "%:y-%02m-%02d.%02H" -# time-stamp-time-zone: "UTC" +# time-stamp-time-zone: "UTC0" # time-stamp-end: "; # UTC" # End: |