1 files changed, 0 insertions, 16 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
deleted file mode 100644
index 8906a606..00000000
--- a/doc/.gitignore
+++ /dev/null
@@ -1,16 +0,0 @@
-context-providers.html
-context-intro.html
-context-properties.html
-fig1.svg
-fig2.svg
-fig3.svg
-fig4.svg
-fig5.svg
-context-provider-schema.html
-context.html
-contextkit.html
-use-cases.html
-context-arch.html
-context-types.html
-fig3.png
-fig4.png