diff dist-files.mk @ 6870:287c648ea6f0 release

of-matgeom: Avoid renaming file at possibly read-only location. * src/of-matgeom-1-move-verLessThan.patch: Add patch. * dist-files.mk: Add new file to list.
author Markus Mützel <markus.muetzel@gmx.de>
date Mon, 25 Sep 2023 21:23:54 +0200
parents f63cfb9d2880
children 2c3b02052586
line wrap: on
line diff
--- a/dist-files.mk	Mon Sep 18 14:16:38 2023 -0400
+++ b/dist-files.mk	Mon Sep 25 21:23:54 2023 +0200
@@ -505,6 +505,7 @@
   of-ltfat-2-LDFLAGS.patch \
   of-ltfat-3-no-cxx11.patch \
   of-ltfat.mk \
+  of-matgeom-1-move-verLessThan.patch \
   of-matgeom.mk \
   of-mapping.mk \
   of-miscellaneous.mk \