From 45299ad704a04c2922c5ebc1eff423f3e9ebe454 Mon Sep 17 00:00:00 2001
From: Matthias Ringwald <matthias@ringwald.ch>
Date: Thu, 26 Sep 2024 14:09:22 +0200
Subject: [PATCH] doc: gitignore generated docs

---
 doc/manual/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore
index 7324c3a2a..24ea59acc 100644
--- a/doc/manual/.gitignore
+++ b/doc/manual/.gitignore
@@ -7,3 +7,4 @@ mkdocs-latex.yml
 mkdocs-temp.yml
 mkdocs.yml
 references.p
+docs_final