From 09a32753575363dcc46e610f9e8514b4370911d0 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Thu, 12 Jan 2023 01:35:35 +0200
Subject: [PATCH] Add /doc/pdf/ to .gitignore

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

diff --git a/.gitignore b/.gitignore
index 2eec3746..a55d9e5e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /doc/html/
+/doc/pdf/