diff options
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/am/hitex.am')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/am/hitex.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/hitexdir/am/hitex.am b/Build/source/texk/web2c/hitexdir/am/hitex.am index a08b9600630..01009a31625 100644 --- a/Build/source/texk/web2c/hitexdir/am/hitex.am +++ b/Build/source/texk/web2c/hitexdir/am/hitex.am @@ -62,7 +62,7 @@ hitex-tangle: ctangle$(EXEEXT) hitexdir/hitex.w tangle-sh # Generating hitables.c using himktables. hitables.c: himktables - ./himktables > $@ || { rm -f hitables.c; exit 1; } + ./himktables$(EXEEXT) > $@ || { rm -f hitables.c; exit 1; } # hitex nodist_hitex_SOURCES = hitables.c hiput.c $(hitex_c) |