diff --git a/docs/sphinx/tools/.gitignore b/docs/sphinx/tools/.gitignore new file mode 100644 index 00000000..30d85567 --- /dev/null +++ b/docs/sphinx/tools/.gitignore @@ -0,0 +1 @@ +*.rst