diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-02-06 10:21:56 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-06 10:21:56 -0500 |
| commit | 8474d99eafda72d767b8aed5385ef82df603e43b (patch) | |
| tree | 2d5b93202e54f0b3f94f6ca30afbfa7c7acbd3aa /Makefile | |
| parent | 69e02ba439b2abee97315892c1354953e1c2099b (diff) | |
Don’t install the `revision` file
On bytecode platforms, Coq installs a `revision` file containing
metadata about the build. This is bad for reproducibility, so don’t
install it.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions