1 files changed, 15 insertions, 0 deletions
diff --git a/doc/reference/shell/.gitignore b/doc/reference/shell/.gitignore
new file mode 100644
index 0000000000..45c18bb715
--- /dev/null
+++ b/doc/reference/shell/.gitignore
@@ -0,0 +1,15 @@
+*-decl-list.txt
+*-decl.txt
+*-unused.txt
+*-undocumented.txt
+*-undeclared.txt
+*.args
+*.hierarchy
+*.interfaces
+*.prerequisites
+*.signals
+*.stamp
+html
+xml
+*.bak
+version.xml