# HG changeset patch # User Eli Zaretskii # Date 933245067 0 # Node ID 00af2bda43f04ec51a6d3afb1d680080c31c07e6 # Parent 188fc8b67ea9fe4cb4def06ab98defa52a397168 (SHELL, MAKESHELL): Use /xyzzy/command as the shell. diff -r 188fc8b67ea9 -r 00af2bda43f0 msdos/sedleim.inp --- a/msdos/sedleim.inp Wed Jul 28 19:46:05 1999 +0000 +++ b/msdos/sedleim.inp Thu Jul 29 10:44:27 1999 +0000 @@ -2,8 +2,8 @@ # Configuration script for leim/Makefile under DJGPP v2.x # ---------------------------------------------------------------------- /^SHELL *=/c\ -SHELL=/dos/command\ -MAKESHELL=/dos/command +SHELL=/xyzzy/command\ +MAKESHELL=/xyzzy/command /^version=/d /^prefix=/d