diff --git a/[refs] b/[refs]
index 633dbc585e6f..587837a54956 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 880fe76ee6f38eda82e9f3de9a7a206dfd1bab9d
+refs/heads/master: 70eed8d06601ca3810a0e56035eae6496d57856b
diff --git a/trunk/Documentation/DocBook/.gitignore b/trunk/Documentation/DocBook/.gitignore
index c102c02ecf89..c6def352fe39 100644
--- a/trunk/Documentation/DocBook/.gitignore
+++ b/trunk/Documentation/DocBook/.gitignore
@@ -4,3 +4,7 @@
 *.html
 *.9.gz
 *.9
+*.aux
+*.dvi
+*.log
+*.out