deploy: f0a67b9

giellalt · Feb 20, 2025 · e5cd403 · e5cd403
1 parent f299d0f
commit e5cd403
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile.in b/Makefile.in
@@ -395,6 +395,7 @@ host_os = @host_os@
 host_vendor = @host_vendor@
 htmldir = @htmldir@
 ifGNUmake = @ifGNUmake@
+ifnGNUmake = @ifnGNUmake@
 includedir = @includedir@
 infodir = @infodir@
 install_sh = @install_sh@