summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--make.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/make.c b/make.c
index acf2ed7..4f8b204 100644
--- a/make.c
+++ b/make.c
@@ -7,6 +7,10 @@
static void make_header(FILE *makefile, const char *target)
{
fprintf(makefile, ".POSIX:\n");
+ fprintf(makefile, "# This Makefile was generated by maje\n");
+ fprintf(makefile, "# See https://gitlab.com/jkaivo/maje/ for more information\n");
+ fprintf(makefile, "# Do not edit this Makefile by hand\n");
+
fprintf(makefile, "default: all\n");
fprintf(makefile, "CC=c99\n");