diff --git a/[refs] b/[refs]
index eb37e212a8e5..2c9964a0c932 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: dc3d28d02e3e83c3147b2afc5e19e3b58d23f31b
+refs/heads/master: be217ff21c875ee1b8073a4fd07353a7a24a4cfd
diff --git a/trunk/Documentation/DocBook/.gitignore b/trunk/Documentation/DocBook/.gitignore
new file mode 100644
index 000000000000..c102c02ecf89
--- /dev/null
+++ b/trunk/Documentation/DocBook/.gitignore
@@ -0,0 +1,6 @@
+*.xml
+*.ps
+*.pdf
+*.html
+*.9.gz
+*.9