From e3945c47bdac1149a1fec5d46bd567a248cd17b9 Mon Sep 17 00:00:00 2001
From: Andreas Jaeger <aj@suse.de>
Date: Fri, 4 May 2012 13:13:57 +0200
Subject: Do not build manual in the source directory

[BZ #13750]

Build the manual in the build directory and
not anymore in the source directory.
---
 manual/.gitignore | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 manual/.gitignore

(limited to 'manual/.gitignore')

diff --git a/manual/.gitignore b/manual/.gitignore
deleted file mode 100644
index 55c49c9..0000000
--- a/manual/.gitignore
+++ /dev/null
@@ -1,30 +0,0 @@
-*.aux
-*.c.texi
-*.cp
-*.cps
-*.dvi*
-*.fn
-*.fns
-*.info*
-*.ky
-*.kys
-*.log
-*.pdf
-*.pg
-*.pgs
-*.ps
-*.tmp
-*.toc
-*.tp
-*.tps
-*.vr
-*.vrs
-chapters.texi
-dir-add.texi
-dir-add.texinfo
-libm-err.texi
-stamp-*
-summary.texi
-texis
-top-menu.texi
-version.texi
-- 
cgit v1.1