Revision aa85bd44
Added by Guillaume DAVY almost 6 years ago
| src/Makefile.in | ||
|---|---|---|
| 46 | 46 |
|
| 47 | 47 |
dot: doc |
| 48 | 48 |
$(OCAMLBUILD) lustrec.docdir/lustrec.dot |
| 49 |
dot -T ps -o lustrec.dot _build/lustrec.docdir/lustrec.dot |
|
| 50 |
mv _build/lustrec.docdir/lustrec.dot $(LOCAL_DOCDIR) |
|
| 49 |
dot -T png -o $(LOCAL_DOCDIR)/lustrec.dot _build/lustrec.docdir/lustrec.dot |
|
| 51 | 50 |
|
| 52 | 51 |
clean: |
| 53 | 52 |
$(OCAMLBUILD) -clean |
| src/lustrec.odocl | ||
|---|---|---|
| 6 | 6 |
PluginList |
| 7 | 7 |
Delay |
| 8 | 8 |
Plugins |
| 9 |
LustreSpec |
|
| 10 | 9 |
SortProg |
| 11 | 10 |
Type_predef |
| 12 | 11 |
Mutation |
Also available in: Unified diff
Doc: update rule and remove old module in odocl