[administrivia] Git should ignore backup files and .loT files
diff --git a/doc/.gitignore b/doc/.gitignore
index 43987b2..dfd50c6 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -29,3 +29,6 @@
 *.vr
 .arch-inventory
 .arch-ids
+*~
+*.loT
+