Project

General

Profile

Revision aa85bd44

View differences:

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