diff options
author | Vladimir Volovich <vvv@vsu.ru> | 2008-04-20 05:54:10 +0000 |
---|---|---|
committer | Vladimir Volovich <vvv@vsu.ru> | 2008-04-20 05:54:10 +0000 |
commit | 6857cc20bd4eaa86ee45e28b173e05de9442249e (patch) | |
tree | ff2eb9a60d71c12ac55d6cd4ae4eee4ce217e460 /Build/source/utils | |
parent | 7d3d4abfd9f3ae56f99687564982f7df42d90b10 (diff) |
fix the way compressing xindy.mem is disabled on woe32
git-svn-id: svn://tug.org/texlive/trunk@7539 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils')
-rw-r--r-- | Build/source/utils/xindy/binaries/Makefile.am | 2 | ||||
-rw-r--r-- | Build/source/utils/xindy/binaries/Makefile.in | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/utils/xindy/binaries/Makefile.am b/Build/source/utils/xindy/binaries/Makefile.am index bfa582e5c41..8c6f7a21071 100644 --- a/Build/source/utils/xindy/binaries/Makefile.am +++ b/Build/source/utils/xindy/binaries/Makefile.am @@ -36,7 +36,7 @@ endif xindy.mem: defaults.xdy $(FAS) base.mem $(XINDY_RUN) rm -f $@ $(RUN_XINDY) -x '(load "$(DUMP_XINDY)")' - test "$(host_os)" != "mingw32" && gzip -9n $@ && mv $@.gz $@ + if test "$(host_os)" != "mingw32"; then gzip -9n $@; mv $@.gz $@; fi defaults.xdy: @$(RM) $@ diff --git a/Build/source/utils/xindy/binaries/Makefile.in b/Build/source/utils/xindy/binaries/Makefile.in index 9513935fef9..0e025109d6a 100644 --- a/Build/source/utils/xindy/binaries/Makefile.in +++ b/Build/source/utils/xindy/binaries/Makefile.in @@ -379,7 +379,7 @@ uninstall-am: uninstall-kernelDATA uninstall-kernelSCRIPTS xindy.mem: defaults.xdy $(FAS) base.mem $(XINDY_RUN) rm -f $@ $(RUN_XINDY) -x '(load "$(DUMP_XINDY)")' - test "$(host_os)" != "mingw32" && gzip -9n $@ && mv $@.gz $@ + if test "$(host_os)" != "mingw32"; then gzip -9n $@; mv $@.gz $@; fi defaults.xdy: @$(RM) $@ |