diff options
Diffstat (limited to 'Build/source/texk/web2c/omegadir/omega.mk')
-rw-r--r-- | Build/source/texk/web2c/omegadir/omega.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/omegadir/omega.mk b/Build/source/texk/web2c/omegadir/omega.mk index a76da6b729b..6a9cb1ebd26 100644 --- a/Build/source/texk/web2c/omegadir/omega.mk +++ b/Build/source/texk/web2c/omegadir/omega.mk @@ -5,9 +5,9 @@ Makefile: omegadir/omega.mk omegafonts_programs = @OMEGA@ omegafonts/omfonts -otps_programs = otps/otp2ocp otps/outocp +otps_programs = @OMEGA@ otps/otp2ocp otps/outocp omegafonts = @OMEGA@ omegafonts -otps = otps +otps = @OMEGA@ otps odvicopy = odvicopy odvitype = odvitype |