index 9fef490871b94b8434791897bea02e5cbe886032..b98d21e98e008c79d2598c6aa9213826d26f5b0d 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
*.html
*.1
*.7
*.html
*.1
*.7
+*.made
howto-index.txt
doc.dep
howto-index.txt
doc.dep
+cmds-*.txt