--- /tmp/plucker-dump.1.ORIG 2009-01-21 06:03:34.000000000 +0800 +++ /tmp/plucker-dump.1 2009-01-21 06:06:43.742555261 +0800 @@ -10 +10,2 @@ -dumps a Plucker document back into the \fIcachedir\fR directory. \fBWARNING: THE CACHE DIRECTORY GETS ERASED !!!\fR You have been warned. +dumps a Plucker document back into the \fIcachedir\fR directory. +\fBWARNING: THE CACHE DIRECTORY FIRST GETS ERASED (rm -r)!!!\fR You have been warned.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
