From f40e2e159411f5750f2d51fc4fa53e67f7c17db5 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 3 Jan 2019 18:47:21 +0100
Subject: [PATCH] [makefile] mark gtk2/3 compatibility layer as generated files

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index bf039ac29c7..db5ed73ecf7 100644
--- a/Makefile
+++ b/Makefile
@@ -692,6 +692,8 @@ src/plugins/gui/GSourceView2.mli: src/plugins/gui/GSourceView2.mli.in
 	$(CP) $< $@
 	$(CHMOD_RO) $@
 
+GENERATED+=src/plugins/gui/GSourceView2.ml src/plugins/gui/GSourceView2.mli
+
 endif
 
 DGRAPHCOMPAT:=
@@ -703,6 +705,8 @@ src/plugins/gui/dgraph.ml: src/plugins/gui/dgraph.ml.in
 src/plugins/gui/dgraph.mli: src/plugins/gui/dgraph.mli.in
 	$(CP) $< $@
 	$(CHMOD_RO) $@
+
+GENERATED+=src/plugins/gui/dgraph.ml src/plugins/gui/dgraph.mli
 endif
 
 ifeq ($(LABLGTK),lablgtk3)
-- 
GitLab