# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 980812704 0
# Node ID a16b7aced16a17035a8ed84303947ea6fbeec283
# Parent  187aca7194e90fdc5b0ff431c2c3e45270529ef2
(eshell-windows-shell-file): Fix :type.

diff -r 187aca7194e9 -r a16b7aced16a lisp/eshell/esh-ext.el
--- a/lisp/eshell/esh-ext.el	Mon Jan 29 21:27:53 2001 +0000
+++ b/lisp/eshell/esh-ext.el	Mon Jan 29 23:58:24 2001 +0000
@@ -98,7 +98,7 @@
   "*The name of the shell command to use for DOS/Windows batch files.
 This defaults to nil on non-Windows systems, where this variable is
 wholly ignored."
-  :type 'file
+  :type '(choice file (const nil))
   :group 'eshell-ext)
 
 (defsubst eshell-invoke-batch-file (&rest args)