From 686987793dda0aaf0ff71f408c01a4018a8f29c2 Mon Sep 17 00:00:00 2001
From: Christoph Berg <myon@debian.org>
Date: Tue, 24 Oct 2023 16:10:01 +0200
Subject: [PATCH] .gitignore: Ignore doc and "make test" artifacts

---
 .gitignore | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.gitignore b/.gitignore
index ff5e881..f726763 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,10 +3,17 @@
 *.so
 /*.sql
 /doc/html/
+/doc/pg_sphere*.fo
+/doc/pg_sphere-*.html
+/doc/pg_sphere-*.pdf
+/doc/pg_sphere-full.xml
 /doc/pg_sphere.dsl
+/doc/version.xml
+/log
 /results/
 regression.out
 regression.diffs
 tags
+/tmp_check
 buildpod
 .deps