From f0e41455be074eca4ef5e4f3c8766315f4e0c648 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sun, 5 Feb 2023 07:10:39 +0100
Subject: [PATCH] Ignore catpoint and pointtools directories.

---
 docs/.gitignore | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 docs/.gitignore

diff --git a/docs/.gitignore b/docs/.gitignore
new file mode 100644
index 0000000..63a0690
--- /dev/null
+++ b/docs/.gitignore
@@ -0,0 +1,2 @@
+catpoint
+pointtools