diff options
author | Karl Berry <karl@freefriends.org> | 2018-03-08 01:25:04 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-03-08 01:25:04 +0000 |
commit | 157e1cb7aaced3446caf13260924b9dd6d182ac1 (patch) | |
tree | 30ac96cf48b43b41974243b7efabe9fcef57185b /Build/source/utils/autosp/autosp-src/depcomp | |
parent | 50f3a5a4f3812f9f64e97420863cedcccfb68d85 (diff) |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@46886 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..65cbf7093a1 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-2018 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: |