diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 43c321c..fc94064 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -1,3 +1,6 @@
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
+
 name: CI
 
 on:
diff --git a/README.md b/README.md
index aca1ed6..86fdac6 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,7 @@
+<!---
+This file was generated from `meta.yml`, please do not edit manually.
+Follow the instructions on https://github.com/coq-community/templates to regenerate.
+--->
 # Finite maps
 
 [![CI][action-shield]][action-link]
diff --git a/coq-mathcomp-finmap.opam b/coq-mathcomp-finmap.opam
index cc8a618..ba4da96 100644
--- a/coq-mathcomp-finmap.opam
+++ b/coq-mathcomp-finmap.opam
@@ -1,3 +1,6 @@
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
+
 opam-version: "2.0"
 maintainer: "Cyril Cohen <cyril.cohen@inria.fr>"
 version: "dev"
diff --git a/dune b/dune
index 25f129b..eca2cbb 100644
--- a/dune
+++ b/dune
@@ -1,3 +1,6 @@
+; This file was generated from `meta.yml`, please do not edit manually.
+; Follow the instructions on https://github.com/coq-community/templates to regenerate.
+
 (coq.theory
  (name mathcomp.finmap)
  (package coq-mathcomp-finmap)
diff --git a/dune-project b/dune-project
index e977151..5c0a4e2 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,6 @@
+; This file was generated from `meta.yml`, please do not edit manually.
+; Follow the instructions on https://github.com/coq-community/templates to regenerate.
+
 (lang dune 2.5)
 (using coq 0.2)
 (name finmap)
diff --git a/index.md b/index.md
index f70bdbf..8410d5d 100644
--- a/index.md
+++ b/index.md
@@ -1,4 +1,7 @@
 ---
+comment: >
+  This file was generated from `meta.yml`, please do not edit manually.
+  Follow the instructions on https://github.com/coq-community/templates to regenerate.
 title: Finite maps
 lang: en
 header-includes: