tcsh savedirs... saves only one

[Will Trillich <will@serensoft.com>]

i lose my directory stack on every logout.

	% set savedirs
	% cd /var/www
	% pushd /etc
	% pushd ~/public_html
	% ^D (logout)

now when i log back in, i'm correctly put
into the directory that i'd most recently
been in but there are none others on the
stack:

	login: myself
	password:
	% dirs
	/usr/home/myself/public_html

from my understanding of `man tcsh` it's
supposed to save the shole directory stack,
isn't it?

   Directory stack substitution (+)
       The  directory  stack  is  a list of directories, numbered
       from zero, used by the pushd, popd and dirs  builtin  com­
       mands  (q.v.).   dirs  can print, store in a file, restore
       and clear  the  directory  stack  at  any  time,  and  the
       savedirs  and dirsfile shell variables can be set to store
       the directory stack automatically on logout and restore it
       on  login.   [snip]