[gnome-devel-docs] Update .gitignore

[David King <davidk src gnome org>]

commit 0f5e6a81f7527108ea119fb6a89f2150d83d8ed4
Author: David King <amigadave amigadave com>
Date:   Sun Jan 26 15:28:34 2014 +0000

    Update .gitignore

 .gitignore |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 3615323..1531b63 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,12 +11,16 @@ Makefile.in
 /install-sh
 /missing
 
+/*/*/*.stamp
+/accessibility-devel-guide/??*/*.docbook
 /accessibility-devel-guide/??*/*.mo
 /accessibility-devel-guide/??*/*.page
 /accessibility-devel-guide/??*/*.xml
+/hig/??*/*.docbook
 /hig/??*/*.mo
 /hig/??*/*.page
 /hig/??*/*.xml
+/integration-guide/??*/*.docbook
 /integration-guide/??*/*.mo
 /integration-guide/??*/*.page
 /integration-guide/??*/*.xml