files with headers

math-comp · Dec 10, 2020 · 35c1a74 · 35c1a74
1 parent 15d071f
commit 35c1a74
Show file tree

Hide file tree

Showing 6 changed files with 19 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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"

diff --git 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
@@ -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
@@ -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: