From 1b5244661989c7d47329f0ec0fe326b37f4066f3 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Thu, 10 Dec 2020 13:48:03 +0100
Subject: [PATCH] files with headers

---
 .github/workflows/coq-action.yml | 3 +++
 README.md                        | 4 ++++
 coq-mathcomp-finmap.opam         | 3 +++
 dune                             | 3 +++
 dune-project                     | 3 +++
 index.md                         | 2 ++
 6 files changed, 18 insertions(+)

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..0008a0d 100644
--- a/index.md
+++ b/index.md
@@ -8,6 +8,8 @@ header-includes:
     <style type="text/css"> h2 {margin-left: 0em; padding: 0px; color: #580909} </style>
     <style type="text/css"> h3 {margin-left: 1em; padding: 0px; color: #C05001;} </style>
     <style type="text/css"> body { width: 1100px; margin-left: 30px; }</style>
+[comment]: <> (This file was generated from `meta.yml`, please do not edit manually.)
+[comment]: <> (Follow the instructions on https://github.com/coq-community/templates to regenerate.)
 ---
 
 <div style="text-align:left"><img src="https://github.githubassets.com/images/modules/logos_page/Octocat.png" height="25" style="border:0px">