docbase: fix info filename; don't remove doc/updated-stamp
[gnulib.git] / lib / isdir.h
1 int isdir (const char *path);