]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59a55ce) | patch
- added doc target to generate .dot dependency graph using ocamldoc
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 13:38:17 +0000 (13:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 13:38:17 +0000 (13:38 +0000)
commit8c365b5186c072620e9ec3fcafab70273e1afdce
tree46c03723ea25bb65a50c8adcb8d1820185ea6b3atree | snapshot
parent59a55ce2681e6853d1f5bb4027b1cc362f20fbe6commit | diff
- added doc target to generate .dot dependency graph using ocamldoc
- added start/stop targets to start/stop broker
- clean run dir/ on distclean
helm/hbugs/broker/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.