search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

Outsource templates #69

Closed palmskog closed 4 years ago

palmskog commented 5 years ago

This performs the change of having an external template file repo as discussed in #67.

palmskog commented 5 years ago

Just to document plans for this PR: @Zimmi48 and I decided that we will not keep examples of template-generated files in this repo, and will instead link to many examples in the templates repo. So I will force-push changes here once that and a shell script for use in makefiles is done.

liyishuai commented 5 years ago

What's the status of this PR? After merging coq-community/templates#3 we have different templates, which might be confusing. Should we make the external repository a submodule here?

Zimmi48 commented 5 years ago

Should we make the external repository a submodule here?

Yes! We should do something, and this is a reasonable option. Please feel free to proceed (and even force-push to this branch).

Zimmi48 commented 5 years ago

Also note that there are links to fix in the main README and the CONTRIBUTING file.