[gegl] docs - remove generated file and update of gitignore for generated docs.

[Jehan PagÃs <jehanp src gnome org>]

commit bbece2b7e0885d853157729c96fb00455a601e6b
Author: Jehan <jehan girinstud io>
Date:   Tue Nov 27 17:21:00 2012 +0900

    docs - remove generated file and update of gitignore for generated docs.
    
    docs/index.txt would be deleted by a `make clean`. It must not be versionned.
    Several other generated .txt files were dirtying a git status.

 docs/.gitignore |    3 ++
 docs/index.txt  |   73 -------------------------------------------------------
 2 files changed, 3 insertions(+), 73 deletions(-)
---
diff --git a/docs/.gitignore b/docs/.gitignore
index 030eb49..da534bb 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -24,3 +24,6 @@
 /index.html
 /operations.html
 /runinfo
+/copyright.txt
+/hello-world.txt
+/index.txt