diff options
| author | Norbert Preining <preining@logic.at> | 2024-01-24 11:38:15 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2024-01-24 11:38:15 +0000 |
| commit | 13b41dc652a9888529b99644519b08c9a833e304 (patch) | |
| tree | a8d900d9a0ee049a89d4e1c3a6a5a8e3f2f6ed51 /Build/source/.github/scripts | |
| parent | 2842188cf1ae13922c4c81d1b0836a69a3ef90af (diff) | |
[gh actions] touch more files to make sure they are not recreated
git-svn-id: svn://tug.org/texlive/trunk@69575 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/.github/scripts')
| -rwxr-xr-x | Build/source/.github/scripts/build-tl.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/.github/scripts/build-tl.sh b/Build/source/.github/scripts/build-tl.sh index 40b8b9d4f92..ab87005d15c 100755 --- a/Build/source/.github/scripts/build-tl.sh +++ b/Build/source/.github/scripts/build-tl.sh @@ -79,6 +79,9 @@ touch ./utils/asymptote/camp.tab.cc touch ./utils/asymptote/camp.tab.h touch ./utils/lacheck/lacheck.c touch ./utils/xindy/xindy-src/tex2xindy/tex2xindy.c +# sometimes dvipng.1 seems to be outdated +touch ./texk/dvipng/doc/dvipng.1 +touch ./texk/dvipng/dvipng-src/dvipng.1 # default settings TL_MAKE_FLAGS="-j 2" |