X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fisdir;h=aab5f841c2e2a54b84b07509ad947da3bfef8aed;hb=39e1adf83f9afbbc1ab9edbd6ca3d509c1f1bec4;hp=943219d43a3e8da25beadd018b51e0abacc92bd7;hpb=6f99528a90dc8e6beb07ac5ced73770ed82a0830;p=pspp

diff --git a/modules/isdir b/modules/isdir
index 943219d43a..aab5f841c2 100644
--- a/modules/isdir
+++ b/modules/isdir
@@ -3,18 +3,20 @@ Determine whether a directory exists.
 
 Files:
 lib/isdir.c
-m4/isdir.m4
+lib/isdir.h
 
 Depends-on:
+stat
 
 configure.ac:
-gl_ISDIR
 
 Makefile.am:
 lib_SOURCES += isdir.c
 
 Include:
 
+License:
+GPL
+
 Maintainer:
 Jim Meyering
-