From 80b8320cc971071b9ca58bb248faa602b339db37 Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso"
Date: Mon, 6 Mar 2023 00:08:52 +0100
Subject: [PATCH] src/coq_elpi_builtins_HOAS.ml: document regeneration command
inline
---
Makefile | 1 +
1 file changed, 1 insertion(+)
diff --git a/Makefile b/Makefile
index 6e53c0438..bc9f91d6c 100644
--- a/Makefile
+++ b/Makefile
@@ -99,6 +99,7 @@ Makefile.examples.coq Makefile.examples.coq.conf: _CoqProject.examples
@$(COQBIN)/coq_makefile -f _CoqProject.examples -o Makefile.examples.coq
src/coq_elpi_builtins_HOAS.ml: elpi/coq-HOAS.elpi Makefile.coq.local
echo "(* Automatically generated from $<, don't edit *)" > $@
+ echo "(* Regenerate via 'make $@' *)" >> $@
echo "let code = {|" >> $@
cat $< >> $@
echo "|}" >> $@