From 582250f947ff525d0e13810820f847d643619e19 Mon Sep 17 00:00:00 2001
From: Ben Elliston <bje@gnu.org>
Date: Thu, 7 Feb 2008 16:01:14 +1100
Subject: Add a .gitignore file for the doc directory.

---
 doc/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 doc/.gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644
index 0000000..e9e012b
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1 @@
+dejagnu.info
-- 
cgit v1.1