]> matita.cs.unibo.it Git - helm.git/commit - helm/http_getter/Makefile
- implemented distcheck target
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Mar 2003 17:58:05 +0000 (17:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Mar 2003 17:58:05 +0000 (17:58 +0000)
commit8bf913a678dcc31b84096879e57c0b5bd2584f19
tree52cb5f42ab251bb256037f60567071ec578b7950
parent2e600606f2fed0d1d7de37de9266faec0ec24085
- implemented distcheck target
- bugfix: added some target to .PHONY
helm/http_getter/Makefile