/* rename -- rename a file
This function is in the public domain. */
-/* Rename a file. */
+/*
+@deftypefn Supplemental int rename (const char *@var{old}, const char *@var{new})
+
+Renames a file from @var{old} to @var{new}. If @var{new} already
+exists, it is removed.
+
+@end deftypefn
+
+*/
+
+#include "ansidecl.h"
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif
#endif
int
-rename (zfrom, zto)
- char *zfrom;
- char *zto;
+rename (const char *zfrom, const char *zto)
{
if (link (zfrom, zto) < 0)
{