From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 6 Sep 2025 23:27:15 +0000 (-0400)
Subject: GNUmakefile: strip trailing ".git" from the PN example
X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=20ce83af93fae831ccc273549b7b3ea09d07180b;p=mjotex.git

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.
---

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