X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Finvoking.texi;h=e91bf6998270bf6ba63798c536d4ff6a6ea1629c;hb=39929aa077830c708adcc5dfd224fd973428d0bc;hp=125fdd2b884cf6ab7d75f0f07279553d340cdfc6;hpb=009350385d97d9fba2b33ea68cfe8b1aeebf1529;p=pspp-builds.git

diff --git a/doc/invoking.texi b/doc/invoking.texi
index 125fdd2b..e91bf699 100644
--- a/doc/invoking.texi
+++ b/doc/invoking.texi
@@ -92,18 +92,6 @@ Sets the configuration directory to @var{dir}.  @xref{File locations}.
 Selects the output device with name @var{device}.  If this option is
 given more than once, then all devices mentioned are selected.  This
 option disables all devices besides those mentioned on the command line.
-
-@item -d @var{var}[=@var{value}]
-@itemx --define=@var{var}[=@var{value}]
-
-Defines an `environment variable' named @var{var} having the optional
-value @var{value} specified.  @xref{Variable values}.
-
-@item -u @var{var}
-@itemx --undef=@var{var}
-
-Undefines the `environment variable' named @var{var}.  @xref{Variable
-values}.
 @end table
 
 @node Input and output options, Language control options, Configuration Options, Invocation