From 83da658c5ee89868214cbbb7d700f1617f12b233 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 2 Jan 2026 16:40:41 -0500
Subject: [PATCH] gitignore

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

diff --git a/.gitignore b/.gitignore
index ea2c377b..2c92e1b0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 _build
 _opam
 *.tmp
+*.pdf