From 20ce83af93fae831ccc273549b7b3ea09d07180b Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 6 Sep 2025 19:27:15 -0400
Subject: [PATCH] GNUmakefile: strip trailing ".git" from the PN example

Sometimes git directories are given a .git suffix, but we don't want
that in the filename of the output document.
---
 GNUmakefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/GNUmakefile b/GNUmakefile
index 3c00927..bc35a3b 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -24,9 +24,10 @@ LATEX = SOURCE_DATE_EPOCH=0 pdflatex -file-line-error -halt-on-error --output-di
 
 # The name of this document.
 #
-# For example, to use the name of our parent directory:
+# For example, to use the name of our parent directory, after
+# stripping the ".git" suffix (if there is one).
 #
-# PN = $(notdir $(realpath .))
+# PN = $(patsubst %.git,%,$(notdir $(realpath .)))
 #
 PN = examples
 
-- 
2.49.0