Improve genfile

* tests/genfile.c: Rename --unlink option to --delete, retaining
old name as alias.  Call unlink or rmdir depending on the type of
the argument.
* doc/genfile.texi: Document changes.

1 files changed, 4 insertions, 2 deletions

diff --git a/doc/genfile.texi b/doc/genfile.texi
index e35f34b..58aa593 100644
--- a/doc/genfile.texi
+++ b/doc/genfile.texi
@@ -319,8 +319,10 @@ an almost arbitrary format (@pxref{Date input formats}).
 @item --exec @var{command}
     Execute given shell command.
 
-@item --unlink @var{file}
-    Unlink the @var{file}.
+@item --delete @var{file}
+@itemx --unlink @var{file}
+    Delete the named file or directory.  If deleting the directory, it
+must be empty.    
 @end table
 
     Option @option{--verbose} instructs @command{genfile} to print on