Merge commit 'a39d4083cab589d7cd6a13e8a4b8db8875261d75'

[gnulib.git] / modules / readtokens0

diff --git a/modules/readtokens0 b/modules/readtokens0
index 7bbbd4d..a7b5631 100644 (file)
--- a/modules/readtokens0
+++ b/modules/readtokens0
@@ -7,6 +7,7 @@ lib/readtokens0.c
 
 Depends-on:
 obstack
+stdbool
 
 configure.ac:
 
@@ -16,6 +17,8 @@ lib_SOURCES += readtokens0.h readtokens0.c
 Include:
 "readtokens0.h"
 
+License:
+GPL
+
 Maintainer:
 Jim Meyering
-