Avoid creating an empty doc directory.

[gnulib.git] / modules / exclude

diff --git a/modules/exclude b/modules/exclude
index 1327ed8..78efea5 100644 (file)
--- a/modules/exclude
+++ b/modules/exclude
@@ -11,12 +11,12 @@ xalloc
 strcase
 fnmatch-gnu
 stdbool
+verify
 
 configure.ac:
 gl_EXCLUDE
 
 Makefile.am:
-lib_SOURCES += exclude.h exclude.c
 
 Include:
 "exclude.h"
@@ -26,4 +26,3 @@ GPL
 
 Maintainer:
 Paul Eggert
-