diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 15:17:22 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-01-03 18:24:43 -0500 |
| commit | e657698c556b84d24e9a87fed0c49d3cb08d5093 (patch) | |
| tree | 1904049f81c0f93241198327631bc98f0c51eaff /debian/libcoq-ocaml-dev.install.in | |
| parent | a946e9959296cedf2540622c1b332a3ccbee4009 (diff) | |
Update coqdoc.sty installation path
https://github.com/coq/coq/commit/5b506165097047aa8b6b431db9f2cbc8dbf6c3de
corrected the installation path in upstream’s build process.
Diffstat (limited to 'debian/libcoq-ocaml-dev.install.in')
0 files changed, 0 insertions, 0 deletions