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 3c0092718b227ab79e4af7edd53d27dd6b1f269f..bc35a3b333df01bf7777052a3b18f48e29e7d700 100644 (file)
--- 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