From 0585b504dc2f78510575758182200550e4fe2c35 Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Tue, 14 Jan 2020 11:39:45 -0500 Subject: add note about Makefile being generated in the Makefile --- make.c | 4 ++++ 1 file changed, 4 insertions(+) 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"); -- cgit v1.2.1