[ jEdit-CVS ] plugins/Console/docs users-guide.xml,1.35,1.36

[Alan E. <ez...@us...>]

Update of /cvsroot/jedit/plugins/Console/docs
In directory sc8-pr-cvs6.sourceforge.net:/tmp/cvs-serv25970/docs

Modified Files:
	users-guide.xml 
Log Message:
made pushd accept an optional directory as an argument, a la bash.



Index: users-guide.xml
===================================================================
RCS file: /cvsroot/jedit/plugins/Console/docs/users-guide.xml,v
retrieving revision 1.35
retrieving revision 1.36
diff -u -d -r1.35 -r1.36
--- users-guide.xml	17 May 2006 21:17:15 -0000	1.35
+++ users-guide.xml	17 May 2006 22:40:41 -0000	1.36
@@ -359,8 +359,7 @@
     </listitem>
     <listitem>
      <para>
-      <command>%pushd</command>: pushes the current directory
- onto the directory stack.</para>
+      <command>%pushd <optional>newDir</optional> </command> : pushes the current directory, and optionally changes to <option>newDir</option>. </para>
     </listitem>
     <listitem>
      <para>