index dad52b80d35caed744cd94399054b6126bfa43bf..6a51331b2fbf991d16dae9d4e486463dfa567311 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
*.1
*.7
howto-index.txt
*.1
*.7
howto-index.txt
+doc.dep
+cmds-*.txt