files with headers

.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:

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]

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 <[email protected]>"
 version: "dev"

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)

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)

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">