diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2014-06-07 16:38:22 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2014-06-07 16:38:22 -0700 |
commit | f06cb10ffdb7d1e033529b789d5154e1dc8c699d (patch) | |
tree | 4e8a9a2df3fb508ea4b908f9986ba1488a8411c9 /bootstrap.conf | |
parent | 685b3f73f75b5ce95ef468dd81d4a2302e2de82f (diff) | |
download | grep-f06cb10ffdb7d1e033529b789d5154e1dc8c699d.tar.gz |
doc: use gnulib fdl module
* bootstrap.conf (gnulib_modules): Add fdl.
* doc/fdl.texi: Remove, as this now comes from gnulib.
* doc/.gitignore: Update to match current sources.
Diffstat (limited to 'bootstrap.conf')
-rw-r--r-- | bootstrap.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index 1ab730db..d8171f5c 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -32,6 +32,7 @@ do-release-commit-and-tag error exclude fcntl-h +fdl fnmatch fstatat fts |