Make gnulib a submodule.

	* gnulib: New.
	* .gitmodules (gnulib): New.

diff --git a/.gitmodules b/.gitmodules
new file mode 100644 (file)
index 0000000..009ae43
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "gnulib"]
+       path = gnulib
+       url = git://git.savannah.gnu.org/gnulib.git

diff --git a/ChangeLog b/ChangeLog
index e11cef1fee4d56df94cd477f84d93a815ad2c40a..8fb3ee6f9edda89378430a1f6aef5e3043cdbdc5 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-10-28  Akim Demaille  <demaille@gostai.com>
+
+       Make gnulib a submodule.
+       * gnulib: New.
+       * .gitmodules (gnulib): New.
+

 2008-10-18  Joel E. Denny  <jdenny@ces.clemson.edu>
 
        Fix yyerror_range for user-defined location type in C++.  Reported by
 2008-10-18  Joel E. Denny  <jdenny@ces.clemson.edu>
 
        Fix yyerror_range for user-defined location type in C++.  Reported by

diff --git a/externals/bootstrap.cfg b/externals/bootstrap.cfg
new file mode 100644 (file)
index 0000000..6a0be6f
--- /dev/null
+++ b/externals/bootstrap.cfg
@@ -0,0 +1 @@
+external: gnulib

diff --git a/gnulib b/gnulib
new file mode 160000 (submodule)
index 0000000..7714a49
--- /dev/null
+++ b/gnulib
@@ -0,0 +1 @@
+Subproject commit 7714a49bb734d63b6c73d0f533ee94a974f4024b