diff options
| author | Guillaume Melquiond | 2015-02-24 14:38:49 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-02-24 14:38:49 +0100 |
| commit | def8cafc0ceae48d57a44ae120730ea36cb56b88 (patch) | |
| tree | 9ec078a6983a42ec441652fcc2bfea9ab710c90f /lib | |
| parent | 061519fe518fc090a727957f7e46cbe67e10c633 (diff) | |
Update the list of phony targets produced by coq_makefile. (Fix for bug #4084)
Also make uninstall_me.sh a real target with proper dependencies.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions