Header for templates

coq-community · Dec 10, 2020 · 070e7d6 · 070e7d6
1 parent a4f82c5
commit 070e7d6
Show file tree

Hide file tree

Showing 11 changed files with 31 additions and 0 deletions.
diff --git a/.travis.yml.mustache b/.travis.yml.mustache
@@ -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.
+
 os: linux
 dist: bionic
 language: shell

diff --git a/README.md.mustache b/README.md.mustache
@@ -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.
+--->
 # {{& fullname }}
 
 {{# travis }}

diff --git a/config.yml.mustache b/config.yml.mustache
@@ -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.
+
 version: 2.1
 
 jobs:

diff --git a/coq.opam.mustache b/coq.opam.mustache
@@ -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: "{{& opam-file-maintainer }}{{^ opam-file-maintainer }}[email protected]{{/ opam-file-maintainer }}"
 version: "{{ opam-file-version }}{{^ opam-file-version }}dev{{/ opam-file-version }}"

diff --git a/default.nix.mustache b/default.nix.mustache
@@ -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.
+
 { pkgs ? (import <nixpkgs> {}), coq-version-or-url, shell ? false }:
 
 let

diff --git a/docker-action.yml.mustache b/docker-action.yml.mustache
@@ -1,3 +1,5 @@
+# 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: Docker CI
 
 on:

diff --git a/dune-project.mustache b/dune-project.mustache
@@ -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 {{ shortname }})
diff --git a/dune.mustache b/dune.mustache
@@ -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 {{ namespace }})
  (package {{ opam_name }}{{^ opam_name }}coq-{{ shortname }}{{/ opam_name }})

diff --git a/extracted.opam.mustache b/extracted.opam.mustache
@@ -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.
+
 {{# extracted }}
 opam-version: "2.0"
 maintainer: "{{& opam-file-maintainer }}{{^ opam-file-maintainer }}[email protected]{{/ opam-file-maintainer }}"

diff --git a/index.md.mustache b/index.md.mustache
@@ -1,4 +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.
 title: {{& fullname }}
 lang: en
 header-includes:

diff --git a/nix-action.yml.mustache b/nix-action.yml.mustache
@@ -1,3 +1,5 @@
+# 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: Nix CI
 
 on: