re-adding PNGs -- I had forgotten about the Wiki

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@993 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-03-15 10:32:47 +00:00
parent 77fbd8b904
commit f2cc318f5e
5 changed files with 5 additions and 0 deletions
--- a/doc/.gitignore
+++ b/doc/.gitignore
@ -0,0 +1 @@
+!Makefile
--- a/doc/Makefile
+++ b/doc/Makefile
@ -0,0 +1,4 @@
+all: class-diagram.png collaboration.png communication-sequence-normal.png
+%.png: %.dia
+	dia -e $@ $<
+	-optipng $@ -out tmp$@ && mv tmp$@ $@
--- a/doc/class-diagram.png
+++ b/doc/class-diagram.png
--- a/doc/collaboration.png
+++ b/doc/collaboration.png
--- a/doc/communication-sequence-normal.png
+++ b/doc/communication-sequence-normal.png