add note about Makefile being generated in the Makefile

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");