From 66e82155a44ffecf55cbcf058c36476f7cfd23ba Mon Sep 17 00:00:00 2001 From: Maas-Maarten Zeeman Date: Sat, 28 May 2022 22:44:28 +0200 Subject: [PATCH] Fixed gitignore for docs directory --- .gitignore | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.gitignore b/.gitignore index 15348a3..91441e3 100644 --- a/.gitignore +++ b/.gitignore @@ -11,3 +11,7 @@ _build c_src/**/*.d erl_crash.dump tags +doc/* +!doc/style.css +!doc/overview.edoc +!doc/SQLite370.svg