commit 3bc5c3d1399407b6fc6355908ae0fdcf7a96ec12
parent 01837b4187f91161b667c3a2f4ea530569322a35
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Mon, 1 Sep 2025 13:32:22 +0200
Add the config.mk file again
There are more Makefile macros to configure than when it was deleted.
But above all, this config.mk file clearly separates the configuration
that the user is invited to modify from the rest of the compilation
system, which they will probably not need to change.
Diffstat:
2 files changed, 14 insertions(+), 12 deletions(-)
diff --git a/Makefile b/Makefile
@@ -16,18 +16,7 @@
.POSIX:
.SUFFIXES: .md .html .sh .lint .shlint
-# Destination where to synchronise data
-PREFIX=OVH:www/projects
-
-# Tool used to convert Markdown to HTML
-MD2HTML=md2html
-
-# Additional resources to install
-RESOURCES=fonts
-
-# Compilation/Linker flags
-CFLAGS=-std=c99 -Wall -Wextra -Os
-LDFLAGS=-Wl,-z,relro,-z,now -pie
+include config.mk
GEN_HEADER=tools/generate_header
diff --git a/config.mk b/config.mk
@@ -0,0 +1,13 @@
+# Destination where the website will be deployed
+# This should be the directory served by an HTTP[S] server
+PREFIX=OVH:www/projects
+
+# Tool used to convert Markdown to HTML
+MD2HTML=md2html
+
+# Additional resources to install
+RESOURCES=fonts
+
+# Compilation/Linker flags used to compile build system tools
+CFLAGS=-std=c99 -Wall -Wextra -Os
+LDFLAGS=-Wl,-z,relro,-z,now -pie
