diff options
Diffstat (limited to 'Build/source/texk/dvipng/help/Makefile.in')
-rw-r--r-- | Build/source/texk/dvipng/help/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/dvipng/help/Makefile.in b/Build/source/texk/dvipng/help/Makefile.in index 4202e81d543..955f5a5d8e2 100644 --- a/Build/source/texk/dvipng/help/Makefile.in +++ b/Build/source/texk/dvipng/help/Makefile.in @@ -399,7 +399,7 @@ $(DVIPNG_HELP): $(MAKE) $(AM_MAKEFLAGS) help-stamp help-stamp: ../dvipng$(EXEEXT) @cross_FALSE@ -(cd .. && ./dvipng$(EXEEXT)) | \ -@cross_FALSE@ sed -e's/dvipng.exe/dvipng' \ +@cross_FALSE@ sed -e's/dvipng.exe/dvipng/' \ @cross_FALSE@ -e's/ (dvipng) / /' \ @cross_FALSE@ -e's,/lt-dvipng ,/dvipng ,' \ @cross_FALSE@ -e's,^This is .*/dvipng ,This is ./dvipng ,' \ |