From a37d5acb390171aeed938406446be926c5f11aaa Mon Sep 17 00:00:00 2001
From: Jonas Fonseca <fonseca@diku.dk>
Date: Sat, 14 Jan 2006 08:02:30 +0100
Subject: [PATCH] Update to the new names of generated txt files

---
 doc/.gitignore | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/doc/.gitignore b/doc/.gitignore
index cb29aa609..af1b7aec2 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,13 +1,14 @@
-api
-web
 *.tmp
 *.html
 *.pdf
 *.xml
 *.1
 *.5
-command-options.txt
-import-features.conf.txt
+api
+web
+features.txt
 keymap-actions.txt
 keymap-defaults.txt
 manual.html-chunked
+option-command.txt
+option-config.txt