From e7ab807440ae207895855e7fd8cbb6532e6f451f Mon Sep 17 00:00:00 2001
From: "Gary V. Vaughan" <gary@gnu.org>
Date: Sat, 13 Oct 2012 14:39:45 +0700
Subject: [PATCH] bootstrap: add missing bootstrap override module file.

* gl/modules/bootstrap: Forgot to add this file in a previous
commit.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
---
 gl/modules/bootstrap | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 gl/modules/bootstrap

diff --git a/gl/modules/bootstrap b/gl/modules/bootstrap
new file mode 100644
index 00000000..f74c018f
--- /dev/null
+++ b/gl/modules/bootstrap
@@ -0,0 +1,23 @@
+Description:
+Bootstrap an Autotooled package from checked-out sources.
+
+Files:
+build-aux/bootstrap.in
+
+Depends-on:
+extract-trace
+funclib.sh
+inline-source
+options-parser
+
+configure.ac:
+
+Makefile.am:
+
+Include:
+
+License:
+GPLed build tool
+
+Maintainer:
+Gary V. Vaughan <gary@gnu.org>