]> gitweb.michael.orlitzky.com - mjotex.git/commit
GNUmakefile: strip trailing ".git" from the PN example
authorMichael Orlitzky <michael@orlitzky.com>
Sat, 6 Sep 2025 23:27:15 +0000 (19:27 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Sat, 6 Sep 2025 23:27:15 +0000 (19:27 -0400)
commit20ce83af93fae831ccc273549b7b3ea09d07180b
treee1cfe0082c3bf7985076380817b2f81fab77ff2e
parent8395ab5f5ad59b35292f22506ee67190004f102a
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