From: Iustin Pop <[email protected]>

Found while doing the previous .dot file changes and wondering what's
this "doc/*.in" stuff… it looks like these were obsoleted over the
years by not paying attention on cleanup patches:

- doc/build: obsoleted by commit 13de7d59
- doc/*.in: obsoleted by commit 2ab2b9f5
- doc/html: was always a directory since its introduction in commit
  d17e74b, mark it as so
- devel/clean-cluster: was introduced with initial .gitignore addition
  (commit 7a47c58), but we don't actually generate it

Signed-off-by: Iustin Pop <[email protected]>
---
 .gitignore |    7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/.gitignore b/.gitignore
index 08f968f..f6c5a09 100644
--- a/.gitignore
+++ b/.gitignore
@@ -49,19 +49,14 @@
 /daemons/ganeti-rapi
 /daemons/ganeti-watcher
 
-# devel
-/devel/clean-cluster
-
 # doc
 /doc/api/
-/doc/build
 /doc/coverage/
-/doc/html
+/doc/html/
 /doc/install-quick.rst
 /doc/news.rst
 /doc/upgrade.rst
 /doc/hs-lint.html
-/doc/*.in
 
 # doc/examples
 /doc/examples/bash_completion
-- 
1.7.10.4

Reply via email to